follow Dictionary.com

What is the X in X-mas?

tablog

tablog in Technology
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)
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of the Day

Word Value for tablog

0
0
Scrabble Words With Friends

Nearby words for tablog