Cplus2ASP: Computing Action Language C+ in Answer Set Programming

Cplus2ASP Version 2 is a new system that translates action language C+ into answer set programming, offering significant performance improvements over the Causal Calculator through modern ASP solving techniques. The tool supports incremental execution, external atoms via Lua integration, and extensible translations for other action languages, making it relevant for automated reasoning and planning applications.

Cplus2ASP Version 2 represents an incremental but meaningful advancement in computational logic and automated reasoning systems. The project modernizes action language C+—a formalism used for reasoning about dynamic systems and their state changes—by leveraging contemporary answer set programming (ASP) solvers. This translation achieves faster execution than its predecessor, the Causal Calculator Version 2, without sacrificing compatibility, suggesting the developers successfully optimized the pipeline rather than breaking existing functionality.

The broader context involves decades of research in knowledge representation and reasoning. Action languages like C+ enable systems to model causality and effects of actions in structured ways. Answer set programming has emerged as a powerful computational framework for such problems. This update bridges classical formal methods with modern solver implementations, demonstrating that legacy symbolic systems can benefit from contemporary optimization techniques without fundamental redesign.

The practical impact extends to developers building planning systems, automated reasoning tools, and knowledge-based applications. The system's support for Lua external atoms enables richer integration with modern software stacks, while the interactive user mode enhances usability. The extensibility to other action languages (B, BC) suggests the underlying architecture is generalizable.

Looking ahead, the key question is adoption. While theoretically sound and technically competent, academic tools often struggle with ecosystem integration. The system's success depends on whether researchers and practitioners in logic programming adopt it, and whether the performance gains translate to practical utility for real-world planning problems. The incremental execution mode via iclingo appears particularly promising for resource-constrained scenarios.

• →Cplus2ASP Version 2 delivers significant performance improvements in action language C+ translation through modern answer set solving
• →The system maintains full compatibility with Causal Calculator Version 2 while implementing state-of-the-art solving techniques
• →Incremental execution via iclingo and Lua external atom support enhance both performance and developer flexibility
• →Module theorem extensions justify the correctness of incremental grounding for programs with nested expressions
• →Extensible architecture enables translation to multiple action languages beyond C+, increasing framework versatility