一个高速Prolog解释程序的实现

机译：RFuzzy：Prolog上一个简单而有表现力的模糊工具的语法，语义和实现细节

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

机译：合成可变指令问题解释程序以在SIMD计算机上实现功能并行

机译：高速Prolog解释器的实现

机译：高速模拟通信电路的设计技术和实现：两个模数转换器和一个3.125Gb / s接收器。

机译：通过rGO包裹的LiNi0.6Co0.2Mn0.2O2正极材料实现高锂离子迁移，可实现高速率的锂离子电池

机译：saTCHmO：在prolog中实现了一个定理证明

机译：prolog技术定理证明：由扩展的prolog编译器实现。

机译：Prolog程序的高速执行处理系统

机译：在一个方向上广播的大量视频信息中，一种能够使用高速缓存显示操作员期望观看的终端设备，该终端设备中使用的再现方法以及记录介质（终端设备和方法）通过使用单向发送的大量图像信息中的缓存存储，以高速显示所需的图像信息片段来实现交互操作）

机译：借助一个螺旋间隙，通过一个轴承间隙实现了彼此之间的高速密封。