Did you know ... Search Documentation:
Pack pfc -- pfc1.2/README

This is a prolog package that provides forward chaining with a justification-based TMS. Comments to finin@umbc.edu.