编译型PROLOG系统中内部谓词的实现策略

实用PROLOG语言为用戶提供了大量的內部谓词,实现这些內部谓词是一较为困难的问难,尤其是在编译型PROLOG系统中更是如此。本文介绍在我们所设计的主辅机结构的编译型顺序PROLOG系统KD—PP中,內部谓词的实现方法:借用指令法、专用指令法、子目标序列定义和接口指令法。根据內部谓词的不同特点,不同內部谓词的实现方法的也不一样。我们认为:文中提出的实现策略在主辅机结构的编译系统中是简单可行的,而且实现效率也是较高的。