Abstract:
We present a system ASP-PROLOG which provides a tight and well-defined integration of a multi-paradigm logic programming system (CIAO Prolog) and Answer Set Programming (ASP). The combined system allows the dynamic exchange of information between modules encoded using different logic programming paradigms. Each module might support a different form of reasoning (e.g., constraint solving, non-monotonic reasoning, functional-style computations), and modules are dynamic in nature, allowing a natural exchange of results and knowledge between them.