Proceedings of the Fifth IEEE Conference on Artificial Intelligence Applications

Adding forward chaining and truth maintenance to Prolog

Tim Finin, Richard Fritzson, and David Matuszek

March 6, 1989

This paper describes Pfc, a simple package that supplies a forward chaining facility in Prolog. Pfc 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 Pfc rule or a backward-chaining Prolog one. Like other logic programming languages, Pfc programs have a declarative interpretation as well as a clear and predictable procedural one. A truth maintenance system is built into the Pfc system, which maintains consistency as well as makes derivations available for applications. Finally, Pfc is designed to be practical, relatively efficient, and fairly unobtrusive.

BibTeX OWL Tweet Scholar

Tags: ai, knowledge representation, prolog, reasoning, truth maintenance

Type: InProceedings

Publisher: IEEE

Note: DOI: 10.1109/CAIA.1989.49145
Code is available on GitHub as well as a users manual.

Downloads: 1734 downloads