Commits

Commits on Nov 15, 2023

ADDED: Hook to support source-position maintenance for scasp/2.
JanWielemaker
committedNov 15, 2023

Commits on Oct 13, 2023

FIXED: scasp_show/2 handling of new expansion.
JanWielemaker
committedOct 13, 2023

Commits on Oct 9, 2023

Avoid autoloading debug/3
JanWielemaker
committedOct 9, 2023

Commits on Sep 18, 2023

ADDED: New expand hook
JanWielemaker
committedSep 18, 2023

Commits on Sep 15, 2023

ADDED: ?+++ Goal to show explanations in long (unfiltered) form.
JanWielemaker
committedSep 15, 2023

Commits on Aug 23, 2023

ENHANCED: Simpler implementatation for abducible.
JanWielemaker
committedAug 23, 2023

Commits on Aug 3, 2023

PORT: Avoid errors in check/0 if tty_size/2 is not provided.
JanWielemaker
committedAug 3, 2023

Commits on May 31, 2023

ADDED: Export inequality constraint
JanWielemaker
committedMay 31, 2023

Commits on May 9, 2023

FIXED: consider clp_interval relations built-in
JanWielemaker
committedMay 9, 2023

Commits on Apr 14, 2023

ADDED: Completely remove a tree from the justification
JanWielemaker
committedApr 14, 2023
Make verbose output properly show constraints.
JanWielemaker
committedApr 14, 2023
Make last clause of check_CHS_/6 compatible with original.
JanWielemaker
committedApr 14, 2023

Commits on Apr 13, 2023

Fixed PlDoc comment
JanWielemaker
committedApr 13, 2023
Re-sync verbose output with s(CASP) for Ciao to simplify comparison.
JanWielemaker
committedApr 13, 2023
FIXED: Sync various "forall" with original.
JanWielemaker
committedApr 13, 2023
Allow using the scasp_forall flag in sandboxed mode.
JanWielemaker
committedApr 13, 2023
Declare scasp_show/2 as safe for sandboxing.
JanWielemaker
committedApr 13, 2023

Commits on Mar 28, 2023

ADDED: html_model_term//2 that allows the rendering infrastructure
JanWielemaker
committedMar 28, 2023
Move to git for downloads.
JanWielemaker
committedMar 28, 2023

Commits on Mar 8, 2023

Move to git for downloads.
JanWielemaker
committedMar 8, 2023
Update version for pack
JanWielemaker
committedMar 8, 2023

Commits on Mar 2, 2023

FIXED: Source reference handling for dynamic facts.
JanWielemaker
committedMar 2, 2023

Commits on Dec 20, 2022

ADDED: scasp_show/2 to call the scasp_expand_program/4 hook before dumping
JanWielemaker
committedDec 20, 2022

Commits on Oct 20, 2022

Make library(scasp/swish) include other scasp modules using library(scasp/*)
JanWielemaker
committedOct 20, 2022
Comment update
JanWielemaker
committedOct 20, 2022
Added dynamic calling vesion of solve_findall.pl
JanWielemaker
committedOct 20, 2022

Commits on Oct 19, 2022

FIXED: Unqualify the argument of findall/3 in the justification tree
JanWielemaker
committedOct 19, 2022
FIXED: Keep findall/3 in the justification tree.
JanWielemaker
committedOct 19, 2022
FIXED: Module qualification of s(CASP) findall/3 calls to make
JanWielemaker
committedOct 19, 2022

Commits on Oct 18, 2022

Fix collecting s(CASP) program dynamically when it contains findall/3.
JanWielemaker
committedOct 18, 2022
TEST: Added solve_findall.pl to the test suite.
JanWielemaker
committedOct 18, 2022
FIXED: Re-enable support for findall/3.
JanWielemaker
committedOct 18, 2022
FIXED: Determinism error in add_proved/3.
JanWielemaker
committedOct 18, 2022
Comment
JanWielemaker
committedOct 18, 2022

Commits on Oct 10, 2022

FIXED: :- abducible directive handling for dynamic calling.
JanWielemaker
committedOct 10, 2022