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.
