Provides an implementation of McCarthy's `amb` operator with
binding forms and acceptance test operator.

The simplest possible production rules system that uses a set
of EAV tuples as its knowledge base.

A* search implementation.

A simple constraints solver.