JPL : IMPLEMENTATION OF A PROLOG SYSTEM SUPPORTING INCREMENTAL TABULATION

Author :  Taher Ali

Affiliation :  Gulf University for Science and Technology

Country :  Kuwait

Category :  Computer Science & Information Technology

Volume, Issue, Month, Year :  6, 1, November, 2016

ABSTRACT

The incremental evaluation of tabled Prolog programs allows to maintain the correctness and completeness of the tabled answers under the dynamic state. This paper presents JPL implementation details. JPL is an approach to support incremental tabulation for logic programs under non-monotonic logic. The main idea is to cache the proof generated by the deductive inference engine rather than the end results. In order to be able to efficiently maintain the proof to be updated, the proof structure is converted into a justification-based truthmaintenance (JTMS) network

Keyword :  Applications of justification-based truth maintenance systems, Belief revision systems, Truth maintenance systems, Justification-based truth maintenance systems, Incremental evaluation of tabled Prolo

For More Details :  https://airccj.org/CSCP/vol6/csit64827.pdf