A Tool for Knowledge Base Integration and Querying

Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering

Volume

Papers from the 2006 AAAI Spring Symposium

Contents

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.