...
机译:Prolog的编码准则
Institute for Artificial Intelligence. The Unirersity of Georgia. Athens. GA. USA;
Department of Mathematics, University of Parma,Italy BUGS ENG srl. Parma. Italy;
Department of Computer Science. Unirersity of Otago, Dunedin, New Zealand;
Department of Computer Science, VU University Amsterdam. The Netherlands;
Intelligent Systems Laboratory. University of Bristol, Bristol, UK;
prolog; style; coding standards; debugging; efficiency;
机译:ProLogger Excels:NCFA的ProLogger程序继续关注安全性
机译:过去就是序幕:2015年饮食指南咨询委员会科学报告
机译:关于新法规和标准以及准则的摘要报告:IAEA WWER反应堆冷却剂系统完整性评估准则
机译:从具有列表结构的Prolog线性递归程序生成有效的过程代码
机译:作者,观众和伊丽莎白的原理
机译:c军N末端激酶的延长与肿瘤坏死因子α诱导的人类软骨细胞死亡相关。
机译:prolog编码指南
机译:mpROLOG(多值prolog)手册和源代码