A Survey of the Rule Language RL/1

来源 :Journal of Computer Science and Technology | 被引量 : 0次 | 上传用户:tt77uu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
In this paper we introduced the RL project which aims to integrate logic progrmming,relationaldatabases and constraint solving in a single relational framework.We gave a summary of thearchitecture of the RL/1 system and shortly discussed the characteristics of the RL/1 language.Atarget of the project has become to turn the RL/1 system into an industrial strength database interface. In this paper we introduced the RL project which aims to integrate logic progrmming, relationaldatabases and constraint solving in a single relational framework. We gave a summary of thearchitecture of the RL / 1 system and shortly discussed the characteristics of the RL / 1 language .Atarget of the project has become turn the RL / 1 system into an industrial strength database interface.
其他文献
“以校为本,以研促教”是学校教育改革与发展的全新教育理念。校本教研是新课程改革的重要内容,是学校发展的动力,是促进教育教学提高的有效形式。坚持“以校为本”的教研形
这种政府高级官员和暴力型黑帮结合的腐败,无疑是所有腐败中最危险和最可耻的。 现在,沈阳已告别了不堪回首的劣政,新政开始了,但愿这是久旱之后真正的甘霖。 沈阳有条河,斜贯整
吧厚性鼻炎是耳鼻咽喉科临床上相当常见的疾病之一,其治疗方法甚多,但疗效难尽人意。近年来我们应用华南牌SHP—I型射频治疗肥厚性鼻炎38例,取得非常显著的效果。现报道如下:
为研究辐照实蝇的鉴别方法,采用10~160Gy辐照桔小实蝇卵和不同日龄幼虫后,分别测定单条幼虫体内的酚氧化酶(PPO)、乙酰胆碱酯酶(ACh E)、超氧化物歧化酶(SOD)的OD值,并观察虫
培养试验方法是腐肥试验研究重要方法,其中土培试验方法尤为常用。这种方法在人工控制条件下模以田间条件,进行土壤培养试验,可在短期内鉴定各种腐肥效果,为中试产品扩大到田
本文采用田间试验和统计分析方法定量地研究了黄土高原南部典型旱作农田的水肥效应,得出了小麦和玉米在试验年份的水分满足程度和农田水分供需平衡过程。指出,影响该区当前作
INCAPS,a subsystem of XYZ system,is an INteractive Computer-Assisted Proving System,The primary targets to develop it range from proving temporal logic formal
以氯甲基化双酚A型聚砜(PSF-CH2Cl)为大分子引发剂,通过原子转移自由基聚合法(ATRP)合成了以聚砜(PSF)为疏水主链、分别以聚丙烯酸(PAA)和聚(N-异丙基丙烯酰胺)(PNIPAAm)为亲
2006年7月中旬,记者从呼伦贝尔大草原穿越阿尔山林区,进入锡林郭勒草原。在蒙古语中,锡林郭勒意为“辽阔原野上的河流”。虽然没有呼伦贝尔的名声大,但它却是我国最具代表性
我自幼热爱戏曲,到大了找的对象是位戏曲演员李玉芙。我是个话剧演员,不仅参加了电视剧《梅兰芳》的演出,还参加了京剧《梅兰芳》的演出,而李玉芙又是梅先生的亲传弟子。2005