摘要
本文论述实现Prolog系统的基本思想,并且对若干实现技术进行了讨论,提出了我们的观点。文中首先介绍Prolog及其基本实现方法,然后讨论Prolog编译实现的几个问题。文中对Warren抽象机进行了介绍和分析,论述了我们对硬件支持的考虑。
This paper provides readers with preliminary ideas on how Prolog can beimplemented and what is special about the compiler-based implementation of Prolog.Also,analyses of the implementation techniques and some related viewpoints arepresented.In Section 1 and 2,an introduction to Prolog and its basic execution modelis first presented.Then,the compiler-based implementation of Prolog is discussedin Section 3.In Section 4,the WAM(Warren Abstract Machine)is introduced andanalyzed.Last,required hardware supports are also considered.
出处
《计算机应用与软件》
CSCD
1991年第4期1-9,共9页
Computer Applications and Software
基金
国家自然科学基金
