GrinGo: A New Grounder for Answer Set Programming [chapter]

Martin Gebser, Torsten Schaub, Sven Thiele
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