Sciweavers

Share
PADL
2004
Springer

ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog

9 years 3 months ago
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive power of ASP, allowing us to write programs that reason about dynamic ASP modules and about collections of stable models. These features are vital in a number of application domains (e.g., planning, scheduling, diagnosis). We describe the design of ASP − PROLOG along with its implementation, realized using CIAO Prolog and Smodels.
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where PADL
Authors Omar El-Khatib, Enrico Pontelli, Tran Cao Son
Comments (0)
books