What question did this study set out to answer?

To introduce ASPIC, a library for converting ASP-Core-2 programs to Picat predicates for efficient problem-solving.

July 22, 2026Electronic Proceedings in Theoretical Computer Science0 citationsOpen Access

ASPIC: Proof-of-Concept ASP to Picat Transpiler

Key Points

To introduce ASPIC, a library for converting ASP-Core-2 programs to Picat predicates for efficient problem-solving.
Developed a proof-of-concept library ASPIC that translates ASP-Core-2 programs to Picat predicates.
Conducted initial compatibility tests with clingo on programs without positive loops.
Enabled the combination of ASP atoms and finite-domain variables for advanced modeling.
Initial tests confirm compatibility with clingo under specific conditions.
ASPIC enables modeling of non-linear constraints, expanding application capabilities beyond standard finite-domain variables.
Supports both ASP in Picat and Picat in ASP integrations for enhanced versatility.

Abstract

This article presents ASPIC, a new proof-of-concept library that converts extended syntax ASP-Core-2 programs to Picat predicates that can be solved right away with the integrated Picat SAT solver, or embedded in larger Picat programs ("ASP in Picat"), and that can in turn make use of various Picat predicates and functions ("Picat in ASP").The first tests show compatibility with clingo, on programs lacking positive loops and when the special Picat features are not used.With the embedded Picat, it touches the application field of clingcon as well, by being able to efficiently model with both ASP atoms and with finite-domain variables, but goes beyond that by being able to model also non-linear constraints.

问 AI

Bookmark

View Full Paper