]> 1999-08-01T00:00:00-05:00 GitHub. 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 Conf. 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, finin@umbc.edu

If you use Pfc in your research, please cite the 1989 IEEE CAIA paper.]]> 604 207690