A Tool for Knowledge Base Integration and Querying.
Omar Elkhatib, Enrico Pontelli, Tran Cao Son · National Conference on Artificial Intelligence · 2006
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.