Turbo—Prolog的“表内套表”结构及其应用

来源 :包头钢铁学院学报 | 被引量 : 0次 | 上传用户:jjJJ012689
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文深入讨论了Turbo-Prolog的“表内套表”结构,提出并应用“截表法”,定义和实现了一套支持矩阵运算的谓词。从而增强了Turho-Prolog的数据处理能力,使它更适合于构造“定性推理和定量运算相结合”的智能系统。
其他文献
青弋江总干渠,始建于70年代,年久失修,老化渗漏严重,危及工程安全。本文简要介绍了复杂地质条件下高压喷射灌浆技术在渠堤除险加固中的应用,值得借鉴。
在氚的在线监测过程中,为实现对氚化水蒸气的甄别测量和高浓度时记忆效应的消除,本文研制了一种用于实验现场的氚监测系统。该系统采用模块化设计,主要由弱电流测量模块、数
[目的]测定金莲花不同部位的总黄酮含量。[方法]采用80%乙醇提取金莲花不同部位的总黄酮,以亚硝酸钠硝酸铝法测定金莲花不同部位的总黄酮含量。[结果]金莲花不同部位的总黄酮
目的:比较卡贝缩宫素、米索前列醇和缩宫素对预防选择性剖宫产产后出血(PPH)的有效性和安全性。方法:纳入2011年3月-2014年6月单胎妊娠拟行剖宫产产妇309例,随机性分为卡贝缩
本文对人因可靠性分析方法进行综述。分别对人因可靠性分析的理论基础———人因失误机理、人因可靠性分析方法的关键要素以及现有的人因可靠性分析方法的研究现状进行了介绍
提出了一种结构紧凑的L/S双频段共口径圆极化微带天线阵的设计。两种微带天线都采用单层贴片。其中L波段圆极化天线单元采用四点馈电,S波段天线单元采用单点馈电并在微带贴片
面临2006年资本充足率必须达标的监管大限,我国城市商业银行存在着极大的生存压力,一半以上的城市商业银行无法凭借自身实力在五年内化解风险,并存在高达五六百亿的贷款损失
民事速裁程序是我国在近年来的民事司法改革过程中为缓解人少案多的矛盾所推出的一项重要改革措施。速裁程序的推行不仅能有效缓解法院办案压力,还对彻底解决民事纠纷有重要
现有立法与理论研究对不动产登记制度关注颇多,对动产登记制度却重视不够。为充分发挥动产的效用,为融资提供多途径的法律保障,有必要进一步完善动产登记制度。动产登记制度
本文从改进传统CA模型在土地利用变化时空模拟方面存在缺陷和不足的角度出发,结合Markov模型的总量预测优势以及CA模型的空间演化优势,提出基于Logistic回归的元胞适应度计算