【具有元级控制结构的Prolog系统的实现和应用研究】.pdf
浙江大学研究生学位论文用纸 P 摘 要 Prolg语言是一种马向问题的逻辑程宁计 浮言,Prolog本身也可着依是一种基子规则的、采用 最在深后优光控别策略和问题归约变法的 问题求解总统。本文介绍了作者在Cromemco 68o0 上用c语言绵写的Prolog鲜释系统,浮细讨论了 实现中的主要技术。在解释实现的苍础上,作者 尝试在Prolog中建立元级控别结构以扩充Pro1og的 推理力。本文运用A工的研完结果,付论了之级 结构中策略表示共问题,每且浮细介给了实现 的具体方法。之级控剂结构做Prolg总统具有买 临如推理能力。
浙江大学研究生学位论文用纸 P.I 3.元级结构中的各了功能模块 3了根个总统的四溯爱理于法 四、兴统的死用:一个简单的中送珍悲专家总统 问题的结构 3x茶统的实现 三.小结 一 5h 六.
浙江大学研究生学位论文用纸 P.I 6.Clak.K.LMcCabe,F.G.[99]: TheControtFaiclitiesoIc-PRoLoG Syptemsinthe Mlicro-ElectronicAso as.Clank.K.L.McCaba,F、G.[,98]: PRoLoG: a Langwagetot Jmylement Suyrtam in