---

qu-prolog
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.