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)