逻辑程序设计语言相关论文
G(o|¨)del语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言。它建立在多态多类的一阶逻辑基础之上,摒弃了Prolog语......
学位
逻辑程序设计语言提供了一种说明性的编程方法,与基于算法的过程性程序设计语言如Pascal、Ada和C等相比,逻辑程序设计语言具有诸多......
Godel语言是继Prolog语言之后出现的逻辑程序设计语言，它建立在多态多类的一阶逻辑基础之上，摒弃了Prolog语言中的非逻辑成分，集成了......
Prolog语言是人工智能与专家系统领域最著名的逻辑程序设计语言,Visual Prolog综合了逻辑程字设计与面向对象技术的特点.本文首先......
本文对逻辑程序设计语言G(o)del中等词的实现进行了研究。文章围绕含等词的逻辑程序一致匹配算法、G(o)del语言的类型系统机制、 G......
G(o)del语言是一种说明性逻辑程序设计语言.该语言基于一阶逻辑,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说......
Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义,表推演具有直观、灵活的特点,它的单步扩展规则具有......
该文就应用逻辑程序设计语言PROLOG，建立通用查询语言系统，确定标准逻辑形式，以及提出可能的智能数据库系统体系结构等三个问题加以讨......
该文提出了一种新型的逻辑程序设计语言PLL，它具有比一般逻辑程序更广泛的语义，即增加了非终止计算语义，作者利用逻辑程序理论，证明了......
该文讨论了Horn子句逻辑程序固有的不确定性及其潜在的并发性。分析了Prolog及一些并发逻辑程序设计语言模型的优缺点。在此基础上......
决策支持系统是一种以支持决策者进行有效决策为目标的计算机系统。该文在作者提出的专家决策支持系统EDSS的结构和思想的基础上，探......
用不同的输入、输出变量状态来运行同一个程序的能力逻辑程序设计语言的一个重要特点，Prolog、Ic—prolog和Parlog语言在实现中都不......
该文简要论述了逻辑程序设计语言PROLOG在功能块级逻辑综合中的一些应用。通过一些例子说明了用PROLOG程序把任一逻辑功能基本函数......
该文介绍了一种新型逻辑程序设计语言－－ＧＯＬＯＧ语言。在已知对象初始状态及相关的规划动作的效果公理的条件下，ＧＯＬＯＧ语言解释器自动维持一个对模型......
Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义.表推演具有直观、灵活的特点,它的单步扩展规则具有......
为解决专家系统开发周期长的问题，提出并实现了用PROLOG与VC＋＋混合编程方法开发专家系统框架的方案，用VC＋＋实现专家系统框架的人机界面，用......
本文首先介绍了PROLOG检测工具的研究现状，作者针对PROLOG语言的特点，提出了一种对PROLOG进行矛盾检测的算法，并用Turbo C语言实现了......
随着人工智能技术的发展，Prolog语言日益受到人们的重视，笔者设计和实现了三种对Prolog进行检测的工具。为了使这些工具使用方便，需要......
