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.
Read Also:
- Qu qiu bai
/ˈtʃuː ˈtʃjuː ˈbeɪ/ noun 1. 1889–1935, Chinese communist leader who was also an important literary figure: executed by the Nationalist forces in Shanghai
- Qurnet-es-sauda
[koo r-nit es sou-dah, ‐duh] noun 1. a mountain in N Lebanon, in the Lebanon Mountains: highest point in Lebanon. 10,131 feet (3090 meters).
- Qursh
[kursh] noun 1. . [kursh] noun, plural qurush [koo-roosh] (Show IPA) 1. a cupronickel coin and monetary unit of Saudi Arabia, the 20th part of a riyal. 2. a former coin and fractional monetary unit of several Middle Eastern and North African countries.
- Qurush
[koo-roosh] noun 1. plural of . [kursh] noun, plural qurush [koo-roosh] (Show IPA) 1. a cupronickel coin and monetary unit of Saudi Arabia, the 20th part of a riyal. 2. a former coin and fractional monetary unit of several Middle Eastern and North African countries.
- Qutb
[koo-tuh b] noun, Islam. 1. (in Sufism) the highest-ranking saint, the focal point of all spiritual energy.