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)