sCASP
sCASP copied to clipboard
SWI-Prolog
Top-down interpreter for ASP programs with Constraints
In case of anyone seeking to modify s(CASP) to follow well-known NAF semantics, To implement conventional Negation As Failure(NAF) semantics, two changes are required: - `solve_goal_predicate/8` should handle `Goal =...
While experimenting, I have found an unexpected behavior regarding the following code. ```prolog a :- b(c(d(X))). b(c(O)) :- e(O). e(h). ?- not a. % Model: {e(h) b(c(h)) not b(c(X |...
## Issue After cloning this repo, creating the scap executable with `make`, and trying to execute it with `./scasp`, I got this error message: > /snap/swi-prolog/98/usr/lib/swipl/bin/x86_64-linux/swipl: error while loading shared...
I have installed "SWI-Prolog 9.3.7-1 for Microsoft Windows (64 bit)" (on Windows 11) and cloned the sCASP master (51ae396), but running `swipl.exe --no-pce --undefined=error -O -o scasp -c prolog/scasp/main.pl` gives...
Take the following sCASP specification where `g` is saying roughly that `f` holds for more than one value of its first argument in any context (value of the second argument...
Include the `--no-autoload` option in the scasp build command and add the `-f none` option in the check_load commands to improve command behavior and consistency.
Metadata
Owner
Metadata
Top-down interpreter for ASP programs with Constraints