TABLOG
<language> A programming language based on {first order
predicate logic} with equality that combines {relational
programming} and {functional programming}. It has functional
notation and {unification} as its binding mechanism. TABLOG
supports a more general subset of standard {first order logic}
than {Prolog}. It employs the Manna-Waldinger
'{deductive-tableau}' proof system as an {interpreter} instead
of {resolution}.
(1997-06-19)