Adding forward chaining and truth maintenance to Prolog

A description is given of P/sub fc/, a simple package which supplies a forward chaining facility in Prolog. P/sub fc/ is intended to be used in conjunction with ordinary Prolog programs, allowing the programmer to decide whether to encode a rule as a forward-chaining P/sub fc/ rule or a backward-chaining Prolog one. Like other programming languages, P/sub fc/ programs have a declarative interpretation as well as a clear and predictable procedural one. A truth maintenance system built into P/sub fc/ system maintains consistency and makes derivations available for applications. Finally, P/sub fc/ is designed to be relatively efficient and unobtrusive.<<ETX>>

[1]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[2]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[3]  Randall Davis,et al.  Diagnosis Based on Description of Structure and Function , 1982, AAAI.

[4]  Jon Doyle,et al.  The Ins and Outs of Reason Maintenance , 1983, IJCAI.

[5]  Michael R. Genesereth,et al.  The Use of Design Descriptions in Automated Diagnosis , 1984, Artif. Intell..

[6]  Charles L. Forgy,et al.  OPS5 user's manual , 1981 .

[7]  Gerald Jay Sussman,et al.  Micro-Planner Reference Manual , 1970 .

[8]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[9]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[10]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[11]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[12]  Dennis Merritt.  Forward chaining in Prolog , 1986 .