where are you going?
[kwoht] verb (used with object), quoted, quoting. 1. to repeat (a passage, phrase, etc.) from a book, speech, or the like, as by way of authority, illustration, etc. 2. to repeat words from (a book, author, etc.). 3. to use a brief excerpt from: The composer quotes Beethoven’s Fifth in his latest work. 4. to […]
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.
- 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
[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).