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