A Tool for Knowledge Base Integration and Querying

Omar Elkhatib, Enrico Pontelli, Tran Cao Son

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.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.