The TFL Lab

A term-logic programming language — write a fact base, ask what follows