The Pfc system is a package that provides a forward reasoning capability for conventional Prolog programs. The Pfc inference rules are Prolog terms asserted as clauses into the regular Prolog database. When new facts or forward reasoning rules are added to the Prolog database (via a special predicate add/1), forward reasoning is triggered. Additional facts that can be deduced via the application of the forward chaining rules are also added to the database. A simple justification-based truth-maintenance system is provided, as well as predicates, to explore the resulting proof trees.
It was originally written circa 1988 at the Unisys Paoli Research Center. For more information, see
-
Tim Finin, Rich Fritzson and Dave Matuszek, Adding Forward Chaining and Truth Maintenance to Prolog, IEEE Conference on Artificial Intelligence Applications, pp. 123-130, Miami, March 1989.
-
Tim Finin, Pfc User Manual, Technical Report, Computer Science and Electrical Engineering, University of Maryland, Baltimore County, August 1999.
or contact Tim Finin, [email protected]
If you use Pfc in your research, please cite the 1989 IEEE CAIA paper mentioned above.