...
机译:关于GNU Prolog的实现
University of Paris 1, 90 rue de Tolbiac, 75013 Paris, France;
Universidade de Evora and Centria FCT/UNL, Largo dos Colegiais 2,7004-516 Evora, Portugal;
JFLI, CNRS, University of Tokyo, Tokyo, Japan;
prolog; logic programming system; GNU; ISO; WAM; native code compilation; finite-domain constraints;
机译:BinProlog经验:继续通过Prolog和一流逻辑引擎的体系结构和实现选择
机译:ProLogger Excels:NCFA的ProLogger程序继续关注安全性
机译:规划假设Bousi〜Prolog的有效实施
机译:GNU-Prolog的传播跟踪器:从形式定义到高效实现
机译:lambda Prolog语言的实现围绕高阶模式统一组织。
机译:c军N末端激酶的延长与肿瘤坏死因子α诱导的人类软骨细胞死亡相关。
机译:关于GNU Prolog的实现
机译:VLsI布局的prolog:Topolog的设计和实现经验,基于prolog的模块生成和布局系统