基于WAM的Prolog系统中内部谓词的实现方法
Algorithms for Implementing Prolog Builtins in WAM-based Systems
-
摘要: 本文论述了在WAM框架下内部谓词的实现方法,着重讨论了数据库操作内部谓词以及cut操作符、call和算术运算类等比较特殊的内部谓词的实现方法和算法。Abstract: This paper describes the implementation of Prolog builtins in WAM-based systems, with emphasis on the implementation of Prolog database operation builtins and some special builtins like cut, call, etc.
下载: