论文部分内容阅读
<正> 一、问题的提出 PROLOG语言是一种重要的逻辑型程序设计语言,它是以谓词演算为基础的,由于这种语言的独特风格和深远意义,已引起世界各国的广泛重视。但是,它还存在着若干不足之处,其中关于逻辑非(否定)的定义,就存在着严重的问题。
PROLOG语言中的一个逻辑问题
【摘 要】
：
<正> 一、问题的提出 PROLOG语言是一种重要的逻辑型程序设计语言,它是以谓词演算为基础的,由于这种语言的独特风格和深远意义,已引起世界各国的广泛重视。但是,它还存在着若
【机 构】
：
南开大学计算机与系统科学系
【出 处】
：
计算机科学
【发表日期】
：
1989年1期
其他文献
语义数据模型是适应更强表达能力的概念数据模型的需要而产生的。当代的数据模型不能直接支持联系、数据抽象、继承性、约束、非结构对象,及应用的动态特性等.尽管普遍认为数
本文简略介绍以多台可能不同类型的数字计算机作为顾客,一台数据库计算机作为服务员,经通讯设备连接而成的共享库的体系结构和性能.也分析共享库对实现分布式数据库管理系统
本文重点阐述了在机械系统总体方案 CAD 系统中,应用决策支持系统(DSS)技术的必要性和可能性;讨论了该系统的结构、特征和关键技术。作为 DSS 技术的一个应用实例,文章介绍了
<正>一般认为,演绎数据库(DDB一DeduCtiveDatabase)“诞生”于1978年,至今仅十一年的历史。但是由于其突出的特点,演绎数据库自面世以来就引起了人们的极大重视和广泛兴趣。
<正> 3.D、S和S之间的权衡应当再次强调,照Stabell的话,这就是:现在到了还原D在DSS中地位的时候了。当然,这并非意味着扩展支持可以忽视计算机技术,即第二个S。而仅仅是,它突
在采取软件工程方法进行大型软件开发过程中,传统思想正面临着一些难以解决的问题。本文通过分析这些问题,介绍了速成原型方法,并着重探讨了原型开发过程和速成原型方法对软