论文部分内容阅读
本文首先介绍了PROLOG检测工具的研究现状，作者针对PROLOG语言的特点，提出了一种对PROLOG进行矛盾检测的算法，并用Turbo C语言实现了该算法，该算法作为一种PROLOG检测工具已被合并到Rurbo PROLOG系统盘中。
一种对PROLOG进行矛盾检测的算法
【摘 要】
：
本文首先介绍了PROLOG检测工具的研究现状，作者针对PROLOG语言的特点，提出了一种对PROLOG进行矛盾检测的算法，并用Turbo C语言实现了该算法，该算法作为一种PROLOG检测工具已被合
【机 构】
：
计算机及电子工程系
【出 处】
：
吉林工学院学报：自然科学版
【发表日期】
：
1990年3期
【基金项目】
：
青年科技基金项目“PROLOG语言检测工具”的一个子项
其他文献
从2006年起,贵州省农村信用社安顺办事处成立农民工金融服务中心,＂跟着农民工走＂。金融服务中心党委工作人员总计行程300万公里,通过延伸组织触角、搭建服务平台,采取对农民工
背景：5月3日，国家主席胡锦涛在北京出席第四轮中美战略与经济对话开幕式并致辞。胡锦涛说，中国唐代诗人韩愈有两句诗：“草木知春不久归，百般红紫斗芳菲。”中美关系正面l临进一步
畜牧业的发展,必须有雄厚的饲料基础,我国人多地少.人均占有粮食少,这就限制了以粮食作为饲料的食粮动物的发展。为了保证畜牧业的稳定发展,充分开发和利用我国丰富的野生饲
反合,是钱冠连哲学思想的特识。作为语言表征的一种独特的认知方式,它不仅为语言哲学研究提供了一个重要的语言分析框架,而且在事物与思维一体两面表征中具有重要的方法论意
充分认识保持党的纯洁性的极端重要性，把保持党的纯洁性作为思想政治建设的重中之重，把加强科技创新作为落实科学发展观的重要内容，作为突出实施“工业强州、城镇带州、旅游活州
目的探究半胱氨酸蛋白酶抑制剂C(CYSC)与自噬相关通路磷酸腺苷蛋白激酶(AMPK)在缺氧/复氧(H/R)状态下对心肌细胞凋亡/自噬的影响。方法用H9C2细胞为模型,建立H/R诱导的损伤模
近年,我国渔业经济坚持生态优先、绿色发展,以供给侧结构性改革为主线,渔业产值和产量稳定增长。2018年,渔民人均纯收入快速增加至近2万元、水产养殖量突破5000万吨、水产品
潍坊市在国内首次开展对基层首席公共卫生医师的实践和探索,选择寒亭区、高密市进行基层首席公共卫生医师制度试点。本研究采用文献复习法、归纳分析法、定性访谈法和专家论
兔年新春，贵州省湄潭县龙凤村农民自编自演的花灯戏《十谢共产党》，火遍乡村。“十谢歌”感谢啥？以前我们做牛马，现在人人把家当；以前忍饥又挨饿，现在温饱奔小康；以前住的茅草屋，现在