ASP Standardization Activity
Welcome! This page collects fresh information, documents and tools concerning the ASP Standardization activity.
Current Status
Latest language version: ASP-Core-2, ver 2.03.
- 4-th ASPCOMP Version freeze: 2.01c.
ASP-Core - The reference version for implementors participating in the system track of the 4th ASP Competition has been frozen to ASP-Core-2 2.01c
Participants
University of Calabria (Francesco Calimeri, Wolfgang Faber, Giovambattista Ianni, Nicola Leone, Francesco Ricca), University of Potsdam (Martin Gebser, Roland Kaminski, Torsten Schaub), Technical University of Vienna (Thomas Krennwallner).
Version History
ASP-Core-2 2.00. First public release of ASP-Core-2 standard.
ASP-Core-2 2.01b. Explicit support of negative integers in grammar table.
ASP-Core-2 2.01c. Merge of improvements from version 2.03 (4-th ASPCOMP reference version, does not include optimize statements) .
ASP-Core-2 2.03. Addition of optimize statements as syntactic shortcuts. Simplifications and rewritings of grammar and restrictions.
Tools
Validator for ASP-Core 2.01c.