language A programming language based on first orderpredicate logic with equality that combines relationalprogramming 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.