UMBC ebiquity
Proceedings of the Fifth IEEE Conference on Artificial Intelligence Applications
Adding forward chaining and truth maintenance to Prolog
March 6, 1989
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.