Clors logic language. A Horn clause interpreter with sound unification, or Prolog without the unsound bits.