元级程序设计的方向

下载PDF

导出

摘要本文讨论逻辑程序设计中元级程序设计当前的一些研究成果。首先提出用Prolog 进行元级程序设计的各种困难,说明产生这些问题的原因在于:Prolog 在元级层次上表示目标程序的不充分性,并指出解决这些问题的方法,提出元级程序设计中的一系列研究问题。本文最后就建立改进的逻辑程序设计语言的必要性提出了几点意见。

作者 J.W.Lloyd 何玉兰

出处《计算机工程与科学》 CSCD 1991年第1期70-80,共11页 Computer Engineering & Science

关键词程序设计逻辑程序设计元级

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

引文网络
相关文献

1周立,吴泉源,陈火旺.模块化Prolog的研究与实现[J].软件,1994,15(10):7-12.
2余金山.逻辑程序设计中的数据结构[J].计算机应用,1992,12(5):8-11. 被引量：4
3余金山.逻辑程序设计对软件开发的影响[J].华侨大学学报（自然科学版）,1992,13(3):418-423. 被引量：2
4廖俊平.谈谈逻辑程序设计中的递归[J].电脑应用时代,1989(4):47-48.
5黄厚宽,高峰,陈晓锋.专家系统工具HEST的设计与实现[J].哈尔滨船舶工程学院学报,1990,11(1):61-67. 被引量：1
6郑海君.逻辑程序设计的研究[J].计算机工程与设计,1989,10(3):21-28.
7周立柱.知识库系统的原理与应用[J].计算机工程与应用,1989,25(3):1-7. 被引量：1
8李永礼,李廉.关于Prolog代数方程组的解[J].兰州大学学报（自然科学版）,1990,26(3):1-5.
9张强.浅谈逻辑在计算机科学中的应用[J].软件工程师,2015(9):21-23. 被引量：1
10余金山.逻辑程序开发及其错误防治的若干实用法则[J].计算机工程与应用,1999,35(9):71-74.

计算机工程与科学

1991年第1期

浏览历史

内容加载中请稍等...

元级程序设计的方向

相关作者

相关机构

相关主题

浏览历史