Prolog编译系统中一些特殊内部谓词实现方法的研究

Prolog语言的编译实现能很大程度地提高程序的执行速度。但是,编译形成的代码在形式上与源程序已大不相同,失去了源形式所带的信息。这大大增加了实现内部谓词的困难。到目前为止,有关编译系统中内部谓词实现方法的文章还很少。本文以Warren的抽象机1]为基础,对于cut操作符以及asserta,assertz,delelause,abolish,call等几个内部谓词的实现方法进行了探讨,提出了相应的算法。