A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf
.
GrinGo: A New Grounder for Answer Set Programming
[chapter]
Logic Programming and Nonmonotonic Reasoning
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. E E © © © a(X, ) Output a(1, )
doi:10.1007/978-3-540-72200-7_24
dblp:conf/lpnmr/GebserST07
fatcat:6ftsvxipzrfrhmgz3vi3y2p6ma