Proceedings of the Fifth IEEE Conference on Artificial Intelligence Applications

Adding forward chaining and truth maintenance to Prolog

, , and

This paper describes Pfc, a simple package which 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 clear and predictable procedural one. A truth maintenance system is built into Pfc system which maintains consistency as well as makes derivations available for applications. Finally, Pfc is designed to be practical, being relatively efficient and fairly unobtrusive.


  • 698855 bytes

knowledge representation, prolog, reasoning, truth maintenance

InProceedings

IEEE

Code is available on GitHub as well as a users manual.

Downloads: 1473 downloads

UMBC ebiquity