GrinGo: A New Grounder for Answer Set Programming

* Final gross prices may vary according to local VAT.

Get Access

Abstract

We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approaches of lparse and dlv. A major emphasis lies on an extensible design that allows for an easy incorporation of new language features in an efficient system environment.