This package implements a simple interpreter for a Prolog-like language and an implementation of the RETE algorithm.
cram_reasoning is ...