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.

Tagged:

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.



Disclaimer: Qu-prolog definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.