qu-prolog
Ads
Submittal Log Management www.newformaprojectcloud.com/ Construction Software for Tracking Electronic Submittals and RFIs
New Way of Using www.dongle-server.com/ Copy Protection Keys with Forensic Software
Computing Dictionary
Qu-Prolog definition
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.
Explore Dictionary.com
More from Thesaurus.com
Synonyms and Antonyms for qu-prolog
More from Reference.com
Search for articles containing qu-prolog
More from Dictionary.com Translator
Translate qu-prolog into French
Translate qu-prolog into German
Translate qu-prolog into Italian
Translate qu-prolog into another language
00:10
Qu-prolog
is always a great word to know.
So is gobo. Does it mean:
| a printed punctuation mark (‽), available only in some typefaces, designed to combine the question mark (?) and the exclamation point (!), indicating a mixture of query and interjection, as after a rhetorical question. |
| a screen or mat covered with a dark material for shielding a camera lens from excess light or glare. |
Dictionary.com Word FAQs
Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.
Matching Quote
Nearby Words
Copyright © 2013 Dictionary.com, LLC. All rights reserved.
