qu-prolog
Transcription
-
- US Pronunciation
- US IPA
-
-
- US Pronunciation
- US IPA
-
Definition of qu-prolog word
- noun Technical meaning of qu-prolog An extension of Prolog which performs meta-level computations over object languages, such as predicate calculi and lambda-calculi, which have object-level variables, and quantifiers that create local scopes for those variables. Qu-Prolog is well suited as an implementation language for theorem provers and support notations typically found in texts on mathematics and logic. 1
Information block about the term
Parts of speech for Qu-prolog
noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
See also
Matching words
- Words starting with q
- Words starting with qu
- Words starting with qup
- Words starting with qupr
- Words starting with qupro
- Words starting with quprol
- Words starting with quprolo
- Words starting with quprolog
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?