期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

Prolog程序中循环的终止性分析

下载PDF

导出

摘要本文对Prolog程序中的循环进行了分析,提出了一种识别无穷循环的简单直观方法,在此基础上给出了相应的避免或防止办法。

作者杨鸿春

机构地区淮南矿业学院

出处《计算机工程与应用》 CSCD 北大核心 1990年第3期31-35,共5页 Computer Engineering and Applications

关键词 PROLOG程序循环终止性分析

分类号 TP311 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

1陶文祥,曾湘燕.浅论Turbo Prolog程序和数据的不完全一致性[J].计算机时代,1993(4):28-30.
2刘育刚.双重递归 Prolog 程序的运行机制[J].哈尔滨工程大学学报,1998,19(1):99-101.
3郭连军,王中祥.BASIC程序与Turbo prolog程序的数据传递[J].微小型计算机开发与应用,1994(5):16-17.
4刘磊,金成植.语法分析器PROLOG程序的自动生成[J].小型微型计算机系统,1990,11(2):17-21.
5高秀峰,胡昌振,危胜军.基于Petri网的ECA规则集终止性分析[J].北京理工大学学报,2005,25(9):773-777. 被引量：4
6张立臣,王小明,窦文阳.基于扩展Petri网的ECA规则集表示及终止性分析[J].通信学报,2013,34(3):157-164. 被引量：2
7杨萍.从过程式程序到Prolog程序[J].兰州大学学报（自然科学版）,1996,32(2):60-63.
8李刚,孙华,张新林.Prolog与C程序连接的实现技术[J].上海大学学报（自然科学版）,1998,4(6):688-692. 被引量：1
9赖朝安,孙延明,郑时雄.结合C++与Prolog语言快速开发专家系统[J].计算机工程与应用,2002,38(3):30-32. 被引量：9
10任超,李玮,何红红,原湘华.基于图的主动数据库规则集终止性分析[J].哈尔滨理工大学学报,2005,10(1):83-87. 被引量：1

计算机工程与应用

1990年第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部