prolog-reasoning

Structured fact journal and inference engine — stores hard facts as Prolog, queries them before reasoning