Tablog definition

Tablog





Home | Index


We love those sites:

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)
       
       

















Powered by Blog Dictionary [BlogDict]
Kindly supported by Vaffle Invitation Code Get a Freelance Job - Outsource Your Projects | Threadless Coupon
All rights reserved. (2008-2024)