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)