Tablog

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  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)