论文部分内容阅读
<正> 4.含CUT的PROLOG语义 4.1 语言成份“cut”前面所讨论的PROLOG解释程序简单控制策略的问题之一是在子树中进行大量的回溯搜索有可能没有解(在极端情况下,对无限树形结构进行的穷尽搜索会使逻辑上正确的程序永不终止)。语言成份cut为用户提供了控制这类回溯的手段。
PROLOG的指称语义和操作语义（续）
【摘 要】
：
<正> 4.含CUT的PROLOG语义 4.1 语言成份“cut”前面所讨论的PROLOG解释程序简单控制策略的问题之一是在子树中进行大量的回溯搜索有可能没有解(在极端情况下,对无限树形结构
【出 处】
：
计算机科学
【发表日期】
：
1990年5期
其他文献
此文介绍了中国科学院科学数据库 POREL 小组在维也纳技术大学应用信息研究所消耗10人年,在 VAX,UNIX 上重新模拟实现的分布式数据库管理系统 PO-REL;也介绍了中国科学院数学
<正> 一、问题的提出为解决不良结构问题应运而生的决策支持系统(DSS)最初是面向半结构化问题的,它由用户接口、模型部件、数据部件构成。随着 DSS 向非结构化领域的拓展,不
本文提出了一种新型的带副本的分布式数据库。该类数据库在由处理站点组成的超大型网络上提供了高度分布透明性。这种分布式数据库有别于其它分布式数据库是因为在它的处理站
本文综述了人工智能语言发展历史,及其在人工智能研究中的地位和作用,说明了不同的人工智能语言对应于不同的逻辑系统。逻辑系统的性质决定了人工智能语言的基本特征,表达能
七十年代中期以来,由于计算机网络通讯的迅速发展以及地理上分散的公司、团体和组织对于数据库的更为广泛的应用,自然地导致了对分布式数据库系统的需要。十多年来在国际范围
<正>人工神经网络(Artificial Neural Net-works-ANS )的研究巳超过四十年,其兴衰与人工智能的研究紧密相关。自从1982年Hopfield利用神经网络解决了TSP问题以来,神经网络再