非冯·诺依曼式程序设计语言PROLOG和IR

本文对Prolog和FP的程序结构、语义、程序设计风格等方面进行了比较,给出了Prolog语言和FP语言的指称语义以及简化的FP系统的Prolog解释与Prolog系统的FP解释,认为Prolog和FP是适用于不同领域的有生命力的非冯·诺依曼式程序设计语言,可以作为不同结构的计算机系统的核心语言。     

用Prolog实现结构程序设计

过程语言中如果没有了if-else-then,case(switch)结构,没有了while,for-next之类的结构,那么谁也没法用来编写程序,这些工具是离不得的。但Prolog不用这类术语。我们要讨论的是在Prolog环境中怎样解决这类问题。 1.if-then,if-else结构: 譬如,过程语言中这样一个结构:     

C++与Prolog双向数据交换实现混合控制架构下机器人任务规划

在慎思/反应混合控制架构下开展定性推理与定量计算相结合的分层规划是机器人任务规划研究的一条可行途径。针对分层任务规划中存在的软件工具实现方面的问题,提出C++与人工智能语言Prolog相结合的解决方案。围绕服务机器人作业研究中的一个典型案例,开发了C++与Prolog双向加载的接口程序,开展了Prolog加载C++程序以及C++加载Prolog程序的实验研究,分别取得了单向数据传输和双向数据传输的实验结果,实现了机器人分层任务规划的完整流程。研究方法具有一般性,可在不同工程应用、不同Prolog开发环境中扩展应用,特别适用于将C++作为平台、Prolog作为知识库与推理机子系统的软件系统中。     

Prolog语言及其特点

Prolog是以处理逻辑问题为背景而设计的语言。它以简洁的文法、丰富的表现力和独特的非过程性赢得越来越多的推崇。目前,Prolog广泛地应用于关系数据库、数理逻辑、抽象问题求解、自然语言理解、公式处理、总体结构设计、生物化学结构分析以及人工智能的各个领域。本文将扼要地讨论了Prolog语言和它的特点。     

Visual Prolog 6面向对象技术与应用

Visual Prolog是国际上广泛流行的功能强大的通用智能化应用集成开发环境,它是基于Prolog的强类型的面向对象程序设计语言.文章讨论了Visual Prolog 6的面向对象技术及其在专家系统设计中的应用,实现了一个称为“失踪儿童协寻专家系统”的示例,经运行测试,效果良好.     

Prolog与Delphi的混合编程

Prolog/Amzi!Prolog的语言特点,分析了Delphi与Amzi!Prolog的编程接口,给出一个Delphi与prolog的混合编程实例.     

Visual Prolog语言在测试设备故障诊断专家系统中的应用

Visual Prolog语言是人工智能与专家系统领域最著名的逻辑程序设计语言,适合表达人的思维和推理规则,能够方便地实现模式匹配、回溯、事实数据库和谓词等功能;针对导弹测试设备结构复杂、故障隔离与定位困难等情况,充分利用Visual Prolog语言在专家系统知识表示及逻辑推理过程中的优点,建立了一个基于规则的导弹测试设备故障诊断专家系统;通过应用表明Visual Prolog语言十分适合构建此类专家系统,并具有良好的开发应用前景.     

模块化Prolog的研究与实现

为使系自行研制的Prolog解释系统GKD-Prolog能够支持大型知识系统的开发,我们设计并实现了一个模块化Prolog系统——GKD—Modlog,同时引入了模块和执行环境的概念。这些概念不仅丰富了Prolog语言本身,而且使Prolog更适于知识的表示和操作。本文描述了该系统中与模块化机制相关的概念,系统的组织与设计,主要实现技术和相关模块操作原语。     

一种基于Prolog的时间约束业务流程验证方法

随着互联网技术的快速发展,对复杂系统业务流程建模的需求越来越大。针对带有时间约束的业务流程模型的正确性验证问题,提出了一种基于节点转换规则的图分解算法,将业务流程模型转换为运行时流程轨迹集合;设计了流程轨迹集合到Prolog的转换,将轨迹中的节点与时间约束转化为Prolog事实,提出了一种业务流程模型到Prolog语言的转换算法;将持续时间、周期循环与固定时刻3种时间模式转换为Prolog规则,以其支持业务流程模型3种时间模式的验证。最后对一个带有时间约束的医疗流程实例进行了验证。     

基于Visual Prolog 6.3内核的专家系统实现

针对目前构建专家系统开发环境的局限性造成开发周期长的问题,提出了利用传统语言调用逻辑程序设计语言的动态链接库构建专家系统的方法,通过两类语言优势互补,实现高效开发专家系统。详细论述了Visual Prolog 6.3动态链接库的生成过程、调用方式、调用约定以及编码转换,并介绍了利用VB.net如何调用Visual Prolog 6.3生成的动态链接库构建专家系统。通过实例验证了该方法的可行性,并具有良好的应用前景。     

UCB策略在Prolog中的应用

Prolog(Programming in Logic)程序语言是一种逻辑程序设计语言.它是在逻辑学理论基础上建立起来的并广泛应用在人工智能研究中.这几十年已经出现了各具特色的Prolog编译器,而且各种编译器也都很成功.虽然在现阶段已经出现了各种版本Prolog编译器,但是Prolog编译器的发展空间还是很大.本文先通过现代Prolog编译器的不足,介绍了新Prolog编译器的特点,然后简单叙述了Prolog编译器词法分析和语法分析的过程,最后介绍了UCB策略.     

Prolog在开发智能教学系统中的应用

近几年来,随着计算机与网络技术的迅猛发展,特别是因特网的大规模普及,人工智能的研究活跃起来,并正向更广阔的领域发展。VisualProlog是国际上已经广泛流行的功能强大的通用智能化应用集成开发环境,引进Prolog,对于开发智能应用系统十分必要。论文主要分析了Prolog语言的特点及基本结构,并分析了智能教学系统的工作原理,在此基础上给出了采用Prolog语言实现的一个简单的学生模糊综合评价的专家系统。其中对学生的评估指标分为五级,相应地规定了五条评估规则。     

ASDGE系统的模型构造及模型库实现方法

本文介绍了一种在现有的技术条件下动态构模的方法以及与之相对应的模型库系统实现方法，从而避免了一般文献介绍的用Prolog,Lisp等实现的模型库系统在动态构模，模型运行以及与传统技术（如：DBS，原有的应用程序等）在对接上的困难，不失为一种实用，可行的方法。     

Kernel Prolog 数据库访问扩展及B/S结构改造

研究了基于Kemel Prolog的解释器原型,扩展了Kemel Prolog,使之能够连接Microsoft SQL Server数据库并进行相应的数据库操作,将Kernel Prolog单机版改造成为B／S结构运行的版本,并使两个版本可以同时运行和修改,使Prolog解释／编译器具备数据库访问功能,对推广Prolog应用很有意义。     

西文DOS下彩色汉字显示方法的研究

本文在回顾Turbo Prolog语言的发展及局限的基础上,介绍了在西文环境下,利用Turbo Prolog语言,通过直接访问国标中文16×16和24×24点阵字库,在图形方式下显示各种不同大小及颜色的彩色汉字的一种方法.从而,能够在西文状态下,方便地作出具有彩色汉字说明或标注的图形及友好的人—机界面,解决西文Turbo Prolog和中西文Turbo Prolog语言在西文状态下不能显示彩色汉字的不足,并给出了部分源程序清单.     

专家系统外壳ESTA的汉化研究及应用

Visual Prolog是国际上已经广泛流行的功能强大的通用智能化集成开发环境，ESTA（Expert System Shell for Text Animation）V4．5是随Visual Prolog V5．2推出的商业专家系统外壳。文章概述了ESTA的功能特点以及ESTA的汉化研究，利用汉化的ESTA开发并应用于变压器等设备故障诊断专家系统（基于三比值法则）。     

以并行机制实现CS—Prolog

本文分析和讨论了在多Transputer环境中,如何扩充Prolog语言成为CS—Prolog,使之保持回溯机制,适应并行特点。     

基于混合推理的知识库的构建及其应用研究

该文提出了基于OWL本体与Prolog规则的平面几何知识库的构建方法,从而可形式化地表示平面几何中丰富的语义信息.一方面,用类型、定义域、值域、分类、属性、实例等本体描述来表达结构化的知识,为领域内概念与概念之间关系的描述提供形式化的语义;另一方面,用Prolog规则来解决本体不能有效表达的诸如属性之间的关系和操作等问题,从而支持复杂关系间的推理.在此基础上,用Protégé和Prolog构建了一个基于本体和规则的平面几何知识库.实验证明:此知识库可实现知识和语义层次上的信息查询,还可进行复杂问题求解,其丰富的语义描述和混合推理能力弥补了传统知识库的不足.     

有效的Prolog编译实现方法

本文从实现的角度讨论了几种有效的Prolog编译技术,包括一个有效的抽象指令集、子句选择回溯,以及可插入子句的内部谓词assert a/z的实现方法.这些技术已被应用到在VAX机上开发的Prolog编译系统中.     

直接输入框图的CADCS软件SPFIC—多种程序设计语言的组合应用

SPFIC是用Smalltalk,Prolog,Fortran语言共同开发的CADCS软件。它充分利用了不同语言的特点,使其具有友好的用户界面,并可直接输入系统的结构框图,使用方便、直观。本文重点介绍了该软件的总体结构设计,程序语言的应用,多窗口环境以及框图直接输入的设计思想和方法。文中给出了算例。