摘要
本文提出了一个基于优化编译和智能控制的高效逻辑语言实现方法．该方法克服了逻辑语言中合一和回溯操作的瓶颈问题，有效地提高了逻辑程序的执行效率．该方法可为设计智能加速部件和智能计算机提供参考．
This paper presents an efficient implementation of logic language based on optimizing compiler and intelligent control machine. This method can override the bottleneck of unifying and backtracking, and thus speed up the execution of logic programs. It can also offer reference for the design of intelligent accelerators and intelligent computers.
出处
《计算机学报》
EI
CSCD
北大核心
1996年第9期649-655,共7页
Chinese Journal of Computers
基金
国家自然科学基金
国家863智能计算机专题资助
关键词
优化编译
智能回溯
逻辑语言
Warren abstract machine, optimizing compiler, intelligent backtracking, unifying-stack
