Codes related to GASP: a lazy grounding based
interpreter for ASP
- SICSTUS Prolog GASP interpreter
as described in the paper CILC 2008/LaSh 2008,
Nov. 2008
- SICSTUS Prolog GASP interpreter
as described in the paper submitted to Fundamenta Infromatica, Jan. 2009
- A definite program test0
- A general, well-founded program test1
- A general non well-founded program
test2
- A marriage problem
test3
- The N-Queens
test4
- An ASP encoding the problem of
Schur numbers test5
- A marriage problem with extra predicate
test6
- Schur without aggegregates test7
- A program from ASPeRiX esamples test8
- A square packing problem: test9
Use:
Launch SICStus Prolog, compile the GASP interpreter.
Set (if needed) the working directory. Then launch the goal
:- go('testxxx.lp'). for all (printed) solutions,
:- go('testxxx.lp',no). for all (non printed) solutions,
:- go('testxxx.lp',_,write). for the first (printed)solution.
:- go('testxxx.lp',_,no). for the first (non printed)solution.
tests3-6 needs to comment/uncomment some lines if tested with
an ASP solver different from GASP.