【吉林大学硕士论文之多机并行prolog系统MPprolog的设计与实现】郭中华9005[1-16页].pdf

【吉林大学硕士论文之多机并行prolog系统MPprolog的设计与实现】郭中华9005[1-16页].pdf

吉林大学 硕士学位论文:多机并行PROLOG系统一MP 一PROLOG的设计与实现 专业:计算机组织与系统结构 郭中华 指导教师:张学惠副教授 计算机科学系 一九九0年五月85编译实现 第六章MP一WAM代码程序的实现.S6Host上的解释系统实现.“55 6 2MCS一48上的解释系统 第七章结点通讯和执行控制 .7。1 prolog程序执行过程 .7 与/或并行任务执行的数据/控制消息传输 .7 执行控制 87通讯例程 第八章实现分析与展望 58.绪论 prleg语言是逻辑程序语言中具有代表性的一种,也是首先成 为实用逻辑程序语言的一个。由于这种语言是以一阶谓词逻辑为基 础,在一些重要领域如新一代计算机研制,人工智能等,有举足轻 重的作用。然而,不管是应用于哪个方面,都要求pro1og能高性 能处理符号以及数字操作。能作为一神适用的语言,它的实现效率 至关重要。有两种传统的实现pro1c8方法。其一就是使用通用计 算机作为实现工具,这种情况的pro1og程序被编译成通用机的指今 体系结构,或一种在通用机指令体系结构上款件模拟实现的中间语言,其二使用专用的pro1oy处理机制,这种机制执行被编译成中间语 言的proloy程序。