Chapter

Logic Programming and Nonmonotonic Reasoning

Volume 5753 of the series Lecture Notes in Computer Science pp 502-508

On the Input Language of ASP Grounder Gringo

  • Martin GebserAffiliated withInstitut für Informatik, Universität Potsdam
  • , Roland KaminskiAffiliated withInstitut für Informatik, Universität Potsdam
  • , Max OstrowskiAffiliated withInstitut für Informatik, Universität Potsdam
  • , Torsten SchaubAffiliated withInstitut für Informatik, Universität Potsdam
  • , Sven ThieleAffiliated withInstitut für Informatik, Universität Potsdam

* Final gross prices may vary according to local VAT.

Get Access

Abstract

We report on recent advancements in the development of grounder Gringo for logic programs under answer set semantics. Like its relatives, DLV and Lparse, Gringo has in the meantime reached maturity and offers a rich modeling language to program developers. The attractiveness of Gringo is fostered by the fact that it significantly extends the input language of Lparse while supporting a compatible output format, recognized by many state-of-the-art ASP solvers.