Free Online Dictionary
|hEnglish - advanced version||Download this dictionary|
an extension of prolog which performs meta-level computation s 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 prover s and support notations typically found in texts on mathematics and logic.
The following video provides you with the correct English pronunciation of the word "qu-prolog", to help you become a better English speaker.
You think you have ethics... Take the survey NOW!