nlp: A Compiler for Nested Logic Programming

nlp is a compiler for nested logic programming under answer set semantics. It is designed as a front-end translating nested logic programs into disjunctive ones, whose answer sets are then computable by disjunctive logic programming systems, like dlv or gnt. nlp offers differ

• Type: Conference
• Year: 2004
• Where: LPNMR
• Authors: Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran
• Keywords: Disjunctive Logic Programming, Logic Programming, LPNMR 2004, Nested Logic