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.
Type de document :
Article dans une revue
Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2015, 15 (4-5), pp.449-463
Liste complète des métadonnées

https://hal.inria.fr/hal-01186999
Contributeur : René Quiniou <>
Soumis le : mardi 25 août 2015 - 18:25:38
Dernière modification le : jeudi 15 novembre 2018 - 11:57:04

Lien texte intégral

Identifiants

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

Citation

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〉

Partager

Métriques

Consultations de la notice

307