首页> 中文期刊> 《哈尔滨工程大学学报》 >双重递归Pro1og程序的运行机制

双重递归Pro1og程序的运行机制

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

使用Pro图作为工具对一个双重递归的Prolog程序进行图解,给出了该程序的Pro图,该图激活时各谓词和参量的变化情况,用逐步推导的详细演算式描述了其复杂的运行机制.

著录项

来源
《哈尔滨工程大学学报》 |1998年第1期|99-101|共3页
作者
刘育刚;
展开▼
作者单位

哈尔滨工程大学计算机与信息科学系哈尔滨 150001;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词
程序设计; 逻辑程序; 谓词逻辑;

相似文献

中文文献
外文文献
专利

1. 基于递归程序到非递归程序转换的实现 [J] . 洪莉 . 智能计算机与应用 . 2007,第004期
2. 形式推导支持的递归程序向非递归程序的转换 [J] . 化志章 ,揭安全 ,李云清 . 计算机工程与科学 . 2007,第010期
3. 将递归程序转换为非递归程序的通用方法 [J] . 王成耀 . 微型计算机 . 1993,第006期
4. 递归程序变换成非递归程序的方法 [J] . 王世著 ,郭福顺 . 小型微型计算机系统 . 1989,第006期
5. 递归程序非递归化算法在企业生产中的应用 [J] . 朱长元 . 计算机与现代化 . 2011,第012期
6. 高层变截面薄壁内筒约束扭转的状态递归法分析及程序设计 [C] . 申建红 ,陈传联 . 2004年度土木工程论坛 . 2004
7. 现行再审程序的运行机制探析——以J省高院再审程序运行为例 [A] . 李柳 . 2016

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号