论文部分内容阅读
本文给出了描述PROLOG解释器的一个模型。在这一模型里,PROLOG程序的执行和AND/OR树的探索相对应,由AND/OR进程组成。解释器用两类进程的相互作用来描述。根据这一模型,详细说明了作者在IBM—PC机中实现的一个MLC—PROLOC解释系统,本文介绍了它的语义、语法、实现机制及其应用价值。