Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary


Search Dictionary:  

Meaning of TABLOG

 
Matching Terms:  tabloid

Computing Dictionary
 
 Definition: 

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.

 

 

COPYRIGHT © 2000-2013 HYPERDICTIONARY.COM HOME | ABOUT HYPERDICTIONARY