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