英语词汇“qu-prolog”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典

单词	qu-prolog
释义	Qu-Prolog Qu-Prolog An extension of Prolog which performs meta-level computations over object languages, such as predicate calculi and lambda-calculi, which have object-levelvariables, and quantifiers that create local scopes forthose variables. Qu-Prolog is well suited as an implementationlanguage for theorem provers and support notations typicallyfound in texts on mathematics and logic.
随便看	androcur androcyte androderm androdioecious androdioecism androecia androecial androecium androgalactorrhoea androgalactozemia androgel androgen androgen ablation androgen antagonist androgen antagonists androgen binding protein androgen-binding protein androgen binding protein beta androgen binding protein gamma androgen binding protein zeta androgen decline in the aging male androgen deficiency androgen deficiency in aging males androgen deprivation androgen deprivation therapy

英语词典包含2567994条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。

Qu-Prolog