Most Prolog machines have been based on specialized architectures. Our goal is to start with a general purpose architecture and determine a minimal set of extensions for high performance Prolog execution. We have developed both the architecture and optimizing compiler simultaneously, drawing on results of previous implementations. We find that most Prolog specific operations can be done satisfactorily in software; however, there is a crucial set of features that the architecture must support to achieve the best Prolog performance. The emphasis of this paper is on our architecture and instruction set. The costs and benefits of the special architectural features and instructions are analyzed. Simulated performance results are presented and indicate a peak compiled Prolog performance of 3.68 million logical inferences per second.
大多数Prolog机器都基于专门的体系结构。我们的目标是从通用体系结构开始,并确定用于高性能Prolog执行的最少扩展集。我们根据先前实现的结果同时开发了体系结构和优化编译器。我们发现大多数Prolog特定的操作都可以在软件中令人满意地完成;但是,架构必须支持一组关键功能才能实现最佳Prolog性能。本文的重点是我们的体系结构和指令集。分析了特殊体系结构功能和说明的成本和收益。给出了模拟的性能结果,并表明编译后的Prolog峰值性能为每秒368万逻辑推理。 P>
机译:BinProlog经验:继续通过Prolog和一流逻辑引擎的体系结构和实现选择
机译:Prolog / Rex / spl减/扩展Prolog以获得更好的知识表示的方法
机译:通用标准中值滤波器的快速排序VLSI架构
机译:具有扩展通用架构的快速Prolog
机译:PFAST:序言的RISC处理器。
机译:沐浴早餐项目(BBP)-检查每天禁食对人体能量平衡和相关健康结果的作用:一项随机对照试验的研究方案ISRCTN31521726
机译:具有扩展通用架构的快速prolog
机译:用于集成符号和数字执行的扩展prolog架构。