机译:Prolog对分布式实现的一些基本副作用
logic programming; AND/OR parallelism; side-effect predicates;
机译:借助抽象状态机的分布式Prolog实现的正确性证明
机译:BinProlog经验:继续通过Prolog和一流逻辑引擎的体系结构和实现选择
机译:从文学衍生语义预测分布式表示的药物副作用关系学习预测模型
机译:完整和有效的方法来支持And-Or并行Prolog中的副作用和削减
机译:lambda Prolog语言的实现围绕高阶模式统一组织。
机译:aer2vec:不良事件报告系统数据的分布式表示形式用于识别药物/副作用关联
机译:和/或平行Prolog中的切口和副作用
机译:VLsI布局的prolog:Topolog的设计和实现经验,基于prolog的模块生成和布局系统