cram_reasoning: CRAM reasoning package.

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

• Homepage: http://ros.org/wiki/cram_reasoning