实现ProTest：用于精炼逻辑框模型的一个Prolog调试程序

机译：BinProlog经验：继续通过Prolog和一流逻辑引擎的体系结构和实现选择

机译：逻辑语言Prolog实现的暴雨专家系统

机译：ALPprolog-用于动态域的新逻辑编程方法

机译：从prolog ++到prolog + cg：一个面向对象的逻辑编程语言

机译：用于规划原油，精炼石油产品的生产，精炼和营销的数学模型（目标规划，机会约束，活动性分析）。

机译：三种算法和SAS宏用于在存在协变量的情况下估计具有一个或多个相关自变量的逻辑模型的功效和样本量

机译：Binprolog体验：体系结构和实现选择   继续传递prolog和一流的逻辑引擎

机译：组合逻辑单元构成的序列逻辑信号流模型及其在prolog中的实现

机译：优化模糊逻辑调节器涉及使用针对至少一个机器操作范围生成的模型来模拟模糊逻辑，该至少一个机器操作范围设置在从逻辑输出到逻辑输入的反馈回路中

机译：用于工业铸造的集成电路，其逻辑锥包括位于逻辑锥中的逻辑模块，其中该模块实现与另一个逻辑锥的非功能连接，并且使用设置文件应用布尔函数

机译：用于在实现设计模式的软件代码中检测抄袭的方法，包括检测在软件代码中实现的设计模式并创建实现与至少一个与实现设计模式的功能相关的程序逻辑的表示形式