ASPIC：从ASP到Picat的概念验证编译器
ASPIC: Proof-of-Concept ASP to Picat Transpiler
浏览论文内容
中文总结 AI 辅助
ASPIC库可将ASP-Core-2程序转换为Picat谓词，能利用Picat求解器求解或嵌入更大程序，初步测试显示与clingo兼容性好，嵌入Picat后可涉足clingcon应用领域，既能用ASP原子和有限域变量建模，还能处理非线性约束。
中文摘要 AI 辅助
本文介绍了ASPIC，一个新的概念验证库，它将扩展语法的ASP-Core-2程序转换为Picat谓词，可立即用集成的Picat SAT求解器求解，或嵌入更大的Picat程序中（“Picat中的ASP”），且能利用各种Picat谓词和函数（“ASP中的Picat”）。初步测试表明，在无正循环且不使用特殊Picat功能的程序上，与clingo兼容性良好。通过嵌入Picat，它还涉足clingcon的应用领域，既能用ASP原子又能用有限域变量高效建模，还能对非线性约束建模。
英文摘要
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 prove good 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.
