tablog

1 definition found

tablog - Free On-line Dictionary of Computing (26 May 2007) :

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