follow Dictionary.com

How do you spell Hannukah?

qu-prolog

qu-prolog in Technology

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

Word of the Day

Word Value for qu

0
0
Scrabble Words With Friends

Nearby words for qu-prolog