资料来源 : Free On-Line Dictionary of Computing

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