Space Efficient Evaluation of Answer Set Programs with Bounded Predicate Arities
This is the implementation of the evaluation method for Answer Set Programs with Bounded Predicate Arities as described in our publication:
Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities. T Eiter, W Faber, M Mushthofa - AAAI, 2010 and my thesis: Evaluation of Answer Set Programs with Bounded Predicate Arities. TU Wien. 2009.
You will need to use Boost Library and install DLV and XSB Prolog in order to use the functionality of ASBPA.