摘要： 本系统从编译和求解机制两方面着手,即考虑了编译阶段对求解机制的影响,同时分析了结构拷贝技术、编码索引技术、参数装载和保存技术、尾递归优化技术对PROLOG执行效率的影响。最后,就本系统和Tubro-PROLOG的性能作了评价。

Abstract: . Based on the compling and solving mechanism, this paper considers the effect on solving mechanism in compiling stage and analyses the techniques used in PROLOG implementation such as structure copying, coding-index, arguments loading and storing, and tail recursion optimization.