 |
Galliwasp: Goal-Directed Answer Set Programming |
Galliwasp is an answer set programming system utilizing a unique top-down, goal-directed execution method. The current version is Galliwasp 1.3.5, released on April 24, 2014.
Additional Requirements
To build and run Galliwasp's compiler, SWI-Prolog must be installed. Additionally, the Lparse grounder is recommended for preparing input programs for the compiler. These programs are not included in the Galliwasp distribution, and may be obtained from their respective sites. For additional requirements, see the README file included in the Galliwasp distribution.
Bug Reporting
While we strive to work out any problems prior to release, Galliwasp is under continuous development, so bugs may turn up from time to time. If you encounter cases where Galliwasp crashes or returns an incorrect answer set, please let us know by sending an email to kmarple1@hotmail.com with "Galliwasp Bug Report" in the subject. To help us fix the problem as quickly as possible, please include any error messages encountered, and in the case of incorrect answer sets being returned, the problem or instance used, the output received, and the output expected.
Publications
- Kyle Marple, Ajay Bansal, Richard Min, and Gopal Gupta. Goal-Directed Execution of Answer Set Programs. In Proceedings of the 14th symposium on Principles and Practice of Declarative Programming, (PPDP '12), pages 35-44. New York, NY, USA, 2012. ACM.
- Kyle Marple and Gopal Gupta. Galliwasp: A Goal-Directed Answer Set Solver. In Logic-Based Program Synthesis and Transformation, volume 7844 of Lecture Notes in Computer Science, pages 122-136. Springer Berlin Heidelberg, 2013.