Word list Emoticon dictionary Internet Explorer toolbar IE quick lookup Firefox search plugin VDict bookmarklet For Webmasters VDict on your site
About Privacy policy Contact us
FAQ Community support forum
Language
English
Vietnamese
Search history
History size
Delete history View history
Vietnamese keyboard On Off  
Search in Name Definition  
Match type Exact Broad Fuzzy
 
Computing
 TABLOG


#@language@# A programming language based on first orderpredicate logic with equality that combines relationalprogramming 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)




Search for TABLOG in:


Search by other methods:

Vietnamese Dictionary and Translation. Từ điển và dịch Anh Việt