【摘要】 本文从实现的角度讨论了几种有效的Prolog编译技术,包括一个有效的抽象指令集、子句选择回溯,以及可插入子句的内部谓词assert a/z的实现方法.这些技术已被应用到在VAX机上开发的Prolog编译系统中.更多还原

【Abstract】 The efficient implementation methods for compiled PROLOG, including an effective abstract instruction set, the clause selection backtracking, and the method how the built-in predicate assert a/z can be used to insert clauses into the data base during runtime, are presented. These methods are used in the implementation of a PROLOG compiler on Micro VAX II.更多还原