The Smodels^A System
This system is a new approach to computing the answer sets of logic programs with aggregates. The current implementation is built using Smodels (2.28) and Lparse (1.0.13).
System Requirments
- Linux operating system.
- Sicstus prolog interpreter.
Download
Click here to download Smodels^A files
Click here to download the README file
Examples
Company Control (Sample 80)
Company Control (Sample 120)
Shortest Path (Sample 20)
Shortest Path (Sample 50)
Party Invitatons (Sample 80)
Party Invitatons (Sample 160)
Seating (Sample 16/4)
Employee Raise (Sample 21/15)
NM1 (Sample 125)
NM2 (Sample 125)
KLAP
This system is implemented by members of the Knowledge representation, Logic, and Advanced Programming Laboratory (KLAP). Department of Computer Science at New Mexico State University.
Contact
If you have any comments or suggestions please contact us at ielkaban@cs.nmsu.edu .