Taher Ali¹, Ziad Najem², and Mohd Sapiyan¹, ¹Gulf University for Science and Technology, Kuwait and ²Kuwait University, Kuwait

Search is one of the most important needs of problem solvers. Usually the problem solvers suffer from retracing conclusions. If a problem solver cached its inference, then it would not need to retrace conclusions that it had already derived earlier in the search. By caching the inferences, the problem solver avoid throwing away useful results and avoid wasting effort rediscovering the same things over and over. In this paper we present a belief revision system for logic programs that can work under the non-monotonic logic.

Applications of justification-based truth maintenance systems, Belief revision systems, Truth maintenance systems, Justification-based truth maintenance systems, Incremental evaluation of tabled Prolog, Incremental tabulation for Prolog queries, Tabulation for logic programs, Memoing for logic programs.