Forward Reasoning via Sequential Queries in Logic Programming

Abstract

Most Prolog implementations   are based on backward chaining techniques. However, there are many applications in which  forward chaining ones are desirable such as in dynamic programming. In this paper, we first introduce a variant  of a Prolog interpreter that computes interpolations and then introduce the notion of sequential queries. These two notions allow a combination of both forms of reasoning in Prolog.

DOI: http://dx.doi.org/10.5755/j01.itc.41.4.2364