/aspq

Reasoner frontend for Answer set programs with queries over subprograms

Primary LanguageShell

aspq

Reasoner frontend for answer set programs with queries over subprograms

This is a shell script based frontend for evaluating ASPq-programs based on Potassco or dlvhex2, using either one of different meta-programming encodings or nested HEX-programs as backend.

The main script is bin/aspq.sh

Call the script without parameters to see an overview of its usage.