共查询到16条相似文献，搜索用时 78 毫秒
1.
本文介绍了人工智能语言Prolog及其基本结构,论述了Prolog中的C语言接口,给出了一个外部谓词开发的实例。 相似文献
2.
3.
黄大海 《东南大学学报(自然科学版)》1987,(6)
本文对 Prolog 语言与关系型数据库进行了比较,分析了两者之间的相似之处和主要差异,指出采用 Prolog 语言与关系型数据库相结合构造知识库存在的种种问题,在此基础上探讨了研究知识库的新途径。 相似文献
4.
杨萍 《兰州大学学报(自然科学版)》1996,32(2):60-63
ＰＲＯＬＯＧ是一种人工智能语言，它与过程控制语言在数据结构，程序结构和程序设计方法等许多方面都不相同。本文描述了如何从过程的观点出发，编写ＰＲＯＬＯＧ程序，可帮助熟悉过程控制语言的程序员使用ＰＲＯＬＯＧ。 相似文献
5.
本文以对比的方法介绍了如何用陈述式语言Ｐｒｏｌｏｇ解决过程式结构的各种程序设计问题，其中包括过程式语言Ｐａｓｃａｌ的过程、ＣＡＳＥ结构、循环结构和嵌套结构等情况。同时对这两类程序语言在解决上述各种问题时的优缺点进行了比较。 相似文献
6.
7.
在建立实时专家系统时,由于许多工业过程的动态过程很快,往往需要采用双机或多机系统,这就要求进行计算机通信,本文针对常用的IBM-PC机,讨论在Turbo Prolog环境下,计算机之间通信的实现。 相似文献
8.
回溯机制是逻辑程序设计的重要设施。回溯本身是一种获得目标所有可能解的良好方法。在考察Visual Prolog回溯机制作用原理的基础上，通过若干实例，详细阐述了回溯机制所遵循的4个基本原则，即自顶向下逐层搜索原则、从左到右顺序扫描原则、规则匹配原则、事实匹配原则，给出了回溯机制的循环实现方法，深入分析了回溯过程可能发生的各种情况，从而揭示出回溯机制的本质特性和应用机理。结论指出回溯机制具有副作用，需要利用截断机制、失败谓词等对搜索过程进行仔细控制。 相似文献
9.
通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言优势互补,以提高生产效率和软件可靠性。通过函数语言解释执行实例,验证该解释执行器的有效性。 相似文献
10.
元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与Gdel语言元解释程序的构造方法以及部分求值功能实现. 相似文献
11.
针对Visual Prolog中的接口这一特殊作用域,在考察其限定机制基本问题的基础上,详细分析它所特有的支持限定和开放限定等机制的功能与作用。首先阐述了接口与对象的基本概念,然后分析了开放限定和支持限定的作用机理,最后通过实例分析,揭示了接口作用域限定机制的本质特性和应用机理。 相似文献
12.
Prolog语言由于其表达专家知识的便利性和强大的推理能力,成为专家系统设计用得较多的语言.但是用Prolog实现一个大程序,特别是具有大量知识的专家系统中,其运行效率是很低的.因此,为了将一个系统投入实时运行,在软件设计时就应考虑效率优化.本文从知识库的组织、匹配方法的选取,以及运用启发式控制回溯等三方面探讨效率优化的方法.1 知识库的组织 相似文献
13.
本文提出了过程控制流程图后种面向对象的生成方法,给出了系统的信息路程图、系统的对象模型图、系统的动态模型图和系统的功能模型图。并已在Ｗｉｎｄｏｗｓ操作系统下用Ｃ＋＋语言编程实现。 相似文献
14.
将统计过程引入到了度量软件过程当中，可使得软件过程具有可控性和可测性。介绍了如何将统计过程引入到度量软件过程中，如何运用控制图来分析软件过程，并介绍了相关的常用控制图，结合实例深入分析了如何应用统计过程控制度量软件过程。 相似文献
15.
对ＴｕｒｂｏＰａｓｃａｌ语言中ＦＯＲ语句的执行过程提出了一种新的观点,并通过对几个实例的分析,对新观点进行了说明和验证。最后给出了ＴｕｒｂｏＰａｓｃａｌ语言中ＦＯＲ语句正确的执行过程,并给出了相应的流程图。 相似文献
16.
介绍了将ＰＡＳＣＡＬ源程序自动转换到流程图的程序设计方法．根据ＰＡＳＣＡＬ语言的语法图，采用自顶向下逐步求精的方法，一次扫描即可在屏幕或绘图仪上输出流程图．流程图大小及颜色可调，且与传统的流程图完全一致．本方法已在ＩＢＭ－ＰＣ／ＸＴ微机上实现． 相似文献