< 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)