...
机译:Prolog / Rex / spl减/扩展Prolog以获得更好的知识表示的方法
机译:ProLogger Excels:NCFA的ProLogger程序继续关注安全性
机译:Prologic撤回萨福克卡车公园的申请
机译:Prologis租赁Hemel Hempstead公园Prologis的第二栋建筑
机译:Prolog和RuleML之间的双向双向元逻辑翻译,用于知识表示和查询
机译:作者,观众和伊丽莎白的原理
机译:c军N末端激酶的延长与肿瘤坏死因子α诱导的人类软骨细胞死亡相关。
机译:逻辑编程和知识表示-A-Prolog观点
机译:prolog技术定理证明:由扩展的prolog编译器实现。