Abstract gringo

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...

Full description

Saved in:
Bibliographic Details
Published in:Theory and practice of logic programming Vol. 15; no. 4-5; pp. 449 - 463
Main Authors: GEBSER, MARTIN, HARRISON, AMELIA, KAMINSKI, ROLAND, LIFSCHITZ, VLADIMIR, SCHAUB, TORSTEN
Format: Journal Article
Language:English
Published: Cambridge, UK Cambridge University Press 01.07.2015
Cambridge University Press (CUP)
Subjects:
Aggregates
Computer Science
Division
Intervals
Logic in Computer Science
Logic programming
Regular Papers
Semantics
Specifications
Strings
Syntax
ISSN:1471-0684, 1475-3081
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ObjectType-Article-1
ObjectType-Feature-2
content type line 23
ISSN:1471-0684
1475-3081
DOI:10.1017/S1471068415000150