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)