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.Nearby terms:
Quintus Prolog ♦ quote chapter and verse ♦ quotient ♦ Qu-Prolog ♦ Quty ♦ qux ♦ QWERTY
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
