Abstract Gringo

Abstract : This paper defines the syntax and semantics of the input language of the ASP grounder GRINGO. The definition covers several constructs that were not discussed in earlier work on the semantics of that language, including intervals, pools, division of integers, aggregates with non-numeric values, and lparse-style aggregate expressions. The definition is abstract in the sense that it disregards some details related to representing programs by strings of ASCII characters. It serves as a specification for GRINGO from Version 4.5 on.
Complete list of metadatas

Contributor : René Quiniou <>
Submitted on : Tuesday, August 25, 2015 - 6:25:38 PM
Last modification on : Monday, February 11, 2019 - 4:22:53 PM

Links full text


  • HAL Id : hal-01186999, version 1
  • ARXIV : 1507.06576


Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub. Abstract Gringo. Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2015, 15 (4-5), pp.449-463. ⟨hal-01186999⟩



Record views