QU-PROLOG

Domain	Definition
Computing	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. Source: The Free On-line Dictionary of Computing.
Source: compiled by the editor from various references; see credits.

Anagrams: QU-PROLOG

Scrabble® Enable2K-Verified Anagrams
	Words within the letters "g-l-o-o-p-q-r-u"
	-2 letters: prolog.
	-3 letters: group, orlop.
	-4 letters: glop, goop, gorp, gulp, logo, loop, loup, lour, plug, polo, pool, poor, pour, prog, purl, roup.
	-5 letters: goo, gor, gul, log, loo, lop, lug, our, pol, pro, pug, pul, pur, rug, upo.
Source: compiled by the editor from various references; see credits. SCRABBLE® is a registered trademark. All intellectual property rights in and to the game are owned in the U.S.A and Canada by Hasbro Inc., and throughout the rest of the world by J.W. Spear & Sons Limited of Maidenhead, Berkshire, England, a subsidiary of Mattel Inc. Mattel and Spear are not affiliated with Hasbro.