共查询到20条相似文献,搜索用时 31 毫秒
1.
本文提出一种支持PROLOG程序并行执行的智能回溯机制,它是基于数据相关性分析的动静结合的智能回溯策略,在静态编译时通过相关性分析产生各子目标带条件的智能回溯点集合,动态执行时通过对变量的简单测试及对当前运行结果的简单测试来确定当前失败目标的最佳回溯点。 相似文献
2.
PROLOG运行机制的辅助理解工具 总被引:1,自引:0,他引:1
用表意图形的方法研究了人工智能语言PROLOG的各种语法成份,找出一套有效的辅助理解工具,它能准确清晰地图解PROLOG程序,如目标和子句,谓词FAIL和回溯,以及截断谓词等内容。文中特别用两个例子详述了在PROLOG语言中最难理解的递归过程。最后,简述了矩形表示法,该工具的图册和配套的图形动画软件。 相似文献
3.
4.
林琪 《计算机工程与科学》1997,19(1):68-72
约束逻辑程序设计(CLP)方法是提高PROLOG语言效率的一种崭新方法,本文针对SC┐PROLOG解释系统的实现介绍其相应设计思想,从域变量含义入手,提出了域及约束的存储方法以及约束机制的实现算法,是对逻辑设计方法研究的一点体会 相似文献
5.
本文讨论了分布式计算机系统中进程通信的一种机制-远程过程调用的设计与实现。在此基础上,将RPC机制扩充到PROLOG语言中,使该语言具有网络通信能力,初步实现了计算机局域网络环境下PROLOG语言的应用,为分布式专家系统的程序实用于网络探索新路。 相似文献
6.
聂培尧 《计算机研究与发展》1994,31(2):35-39
本文描述了一种基于PROLOG的专家系统建造工具库PTES的实验系统。PTES是用PROLOG编写的,该系统根据支持基于规则的知识表示及近似推理对PROLOG的知识处理能力进行了扩充。PTES的推理机制使用了可能性能逻辑及模糊集合理论作为其逻辑基础,并以一种形式化的方法提供了处理非确定事实及非确定规则的能力。 相似文献
7.
本文讨论了分布式计算机系统中进程通信的一种机制──远程过程调用(RPC)的设计与实现。在此基础上,将RPC机制扩充到PROLOG语言中,使该语言具有网络通信能力,初步实现了计算机局域网络环境下PROLOG语言的应用,为分布式专家系统的程序实用于网络探索新路。 相似文献
8.
本文描述了一基于PROLOG的专家系统建造工具库PTES的实验系统。PTES是用PROLOG编写的,该系统根据支持基于规则的知识表示及近似推理对PROLOG的知识处理能力进行了扩充。PTES的推理机制使用了可能性逻辑及模糊集合理论作为其逻辑基础并以一种形式化的方法提供了处理非确定事实及非确定规则的能力。 相似文献
9.
连接PROLOG与DBMS系统的专用,并行通信技术 总被引:2,自引:0,他引:2
在结合PROLOG和DBMS技术的研究领域中,一个关键的问题是效率,而解决这个问题的基本关键之一是每次PROLOG与DBMS系统间通信的代价。我们提出了专用,并行通信技术大大地降低了每次通信的开销,使这一问题基本获得解决。我们提出的这一技术还为实现PROLOG与多个,多种和分布式数据库连接奠定了基础。 相似文献
10.
PROTEL电子CAD软件包汉字输入的实现及其绘图功能的开发应用邢观峰福州大学12901信箱(350002)1引言PROTEL(简称PT)电子CAD软件包是澳大利亚PROTELTECHNOLOGY公司推出的多层印制板辅助设计软件,它保持了对TANGO... 相似文献
11.
12.
本文描述了用第五代计算机程序设计语言-PROLOG表示和处理分子结构的方法,提出了按照环系和功能团对分子结构进行归约的方法,并且设计了由母核与分子片段组合产生分子结构的PROLOG程序。 相似文献
13.
本文介绍一种设计安全联锁系统的新方法,它的基本思想是采用可编程控制器(PROGRAMMABLE CONTROLER或PROGRAMMABLELOGICCONTROLLER-PLC)替代过去的继电器和逻辑的控制,组成分布系统,以提高要靠性和可维护性,增加灵活性,缩短工期,节省人力和资金,一台多媒体IBM-PC兼容机有作业上位机,监控整个系统。 相似文献
14.
基于PROLOG语言的数字电路逻辑模拟 总被引:1,自引:0,他引:1
欧阳一鸣 《计算机工程与应用》1999,35(12):69-72
文章阐述了PROLOG语言在数字电路逻辑模拟中的应用,通过一些具体电路说明PROLOG语言用于对门级和功能块级电路的描述及模拟的便利之处,对不同的电路采用不同的方法,PROLOG语言的灵活性和推理技术,为逻辑模拟提供了新的技术和手段。 相似文献
15.
本文介绍一种设计安全联锁系统的新方法,它的基本思想是采用可编程控制器(PROGRAMMABLECON-TROLLER或PROGRAMMABLELOGICCONTROLLER—PLC)替代过去的继电器和专用逻辑的控制,组成分布式系统,以提高可靠性和可维护性,增加灵活性,缩短工期,节省人力和资金。一台多媒体IBM-PC兼容机用作上位机,监控整个系统。 相似文献
16.
当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中。KBASE-P是一个通用的知识库程序设计语言。KBASE-P以KBASE作为查询语言,以FD-PROLOG(我们开发的一个PROLOG扩充)为过程性的宿主语言执行I/O和DB更新操作(用扩充的内部谓词)。由于良好的设计和实现,查询语言与宿主语言之间的阻抗不匹配问题相对较小。因而,KBASE-P是一个比较实用的知识库程序设计语言。KBA 相似文献
17.
本文介绍面向逻辑程序的并行推理机系统EC-PIM。它以逻辑程序设计语言PROLOG为核心,以硬件、软件两方面结合的方式直接实现以PROLOG所描述的推理任务,系统设计基于Earley算法,VLSI技术以及适当的系统结构及部件的设计方案,在提出并行推理机及其概念模型的前提下,作出EC-PIM体系结构的设计包括互连结构,公共存储器系统的设计方案,并成功地实现了双八路二级并行逻辑推理模拟机的研制。 相似文献
18.
对软件加密是保护软件开发者合法权益的措施之一,而软件加密的方法又有许多种,在此,探讨一种用EPROM芯片与GAL器件对应用软件进行加密的方法。 相似文献
19.
本文首先介绍了一个模糊PROLOG系统Fuzzy-Prolog的推理机制,然后提出以α-β剪枝算法来优化Fuzzy-Prolog的推理过程,并详细描述了所实现的α-β剪枝算法。 相似文献
20.
本文首先介绍了一个模糊PROLOG系统Fuzzg-Prolog的推理机制,然后提出以α-β剪枝算法来优化Fuzzy-Prolog的推理过程,并详细描述了所实现的α-β剪枝算法。 相似文献