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

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