2 papers
cs.LO2026
ASPIC: Proof-of-Concept ASP to Picat Transpiler
Cristian Grozea, Marius Popescu
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…
cs.PL2026
Picat Through the Lens of Advent of Code
Neng-Fa Zhou, Cristian Grozea, HÃ¥kan Kjellerstrand +1
Picat is a logic-based, multi-paradigm programming language that integrates features from logic, functional, constraint, and imperative programming paradigms. This paper presents s…