论文部分内容阅读
知识库语言是一类适应人工智能和知识工程领域的、具有符号处理和逻辑推理能力的计算机程序设计语言。它能够用来编写程序求解非数值技术、知识处理、推理、规划、决策等具有智能的各种复杂问题。论述了知识库语言Prolog与Datalo语言的语句结构、特点,并且给出了程序设计的实例加以说明。
知识库语言—Prolog与Datalog
【摘 要】
：
知识库语言是一类适应人工智能和知识工程领域的、具有符号处理和逻辑推理能力的计算机程序设计语言。它能够用来编写程序求解非数值技术、知识处理、推理、规划、决策等具有
【机 构】
：
中南民族大学计算机科学学院
【出 处】
：
软件导刊
【发表日期】
：
2009年12期
其他文献
进出15／企业跨境资金流动辅助系统，以VisualStudio2005作为开发平台，使用优秀的开源NExcel和ActiveRecord框架，提高了开发效率，增强了系统的稳定性和可靠性。系统主要包括：数据处理
论述了基于UML技术进行网上评教管理系统分析设计的方法，同时介绍了基于ASP．NET与SQL Server技术进行系统开发的关键技术，对系统并发用户数较大的特点提出较好解决方案，给各类信
介绍了基于CMPP协议的一种综合的集成短信平台系统的设计，该系统采用GSMMODEM通信模块，通过串口与计算机连接，组成短信收发设备，将企业现有系统与手机短信业务结合起来。本平台可
设计并实现了一个基于Web的网络学习综合服务系统，系统提供了完整的网络学习环境。利用Web技术将学生的学习活动放到系统中进行，提高了学习的效率和效果，具有广泛的应用前景。
提出了一种基于性能比较的LSP随机动态路由算法。与静态LSP建立算法相比,提出的性能比较路由算法（PCDRA）不需要假设任何详细的流量模型和不需要任何的将来请求的期望。试验结果
基于Web的多媒体教学系统是一个由硬件、软件、教学内容、教学管理机构组成的一体化有机的系统。从系统物质基础、教学系统支撑平台、学生如何进行学习三个方面来考察。
介绍了计算机软件在勘测行业的部分应用及存在的问题，并分析了问题的原因，还提出了解决问题的对策。
提出将自抗扰控制技术运用于测厚仪反馈型AGC系统,用来减弱厚度反馈时滞和外干扰给系统带来的不利影响。仿真结果证明基于该技术设计的控制器能有效地抑制干扰、减小时滞对板
通过对各届毕业生生源等特征资料、高考的成绩数据、以及大学各门课的成绩挖掘，提供了一个在教育领域进行合理挖掘的模式。研究了如何把关系数据库的关联规则问题转化为单维、