tablog
Transcription
-
- US Pronunciation
- US IPA
-
-
- US Pronunciation
- US IPA
-
Definition of tablog word
- noun Technical meaning of 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. 1
Information block about the term
Parts of speech for Tablog
noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
See also
Matching words
- Words starting with t
- Words starting with ta
- Words starting with tab
- Words starting with tabl
- Words starting with tablo
- Words starting with tablog
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?