SUST-PROLOG/4361系统中的模块化设计及其实现

THE DESIGN AND IMPLEMENTATION OF MODULARIZATION IN SUST-PROLOG/4361

下载PDF

导出

摘要 PROLOG是一种逻辑程序设计语言,模块化是软件工程中的一个重要概念。本文介绍了PROLOG系统的模块化设计和实现技术,该系统已在IBM-4361中型机上实现。 PROLOG is a logic programming language and modularization is animportant concept in software engineering.In this paper,we provide a modulardesign for the prolog system and its implementation.This design has been implemen-tated on IBM-4361 computer.

作者缪淮扣朱关铭李迎豪

机构地区上海科技大学

出处《计算机应用与软件》 CSCD 1991年第4期10-17,共8页 Computer Applications and Software

关键词 PROLOG语言模块化设计软件工程

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

引文网络
相关文献

1蔡经球,郭红.Fuzzy Prolog系统XDFPS(I)的研制[J].计算机工程与设计,1990,11(2):21-29.
2张晨曦.编译型PROLOG系统的若干优化实现技术[J].国防科技大学学报,1989,11(1):1-7.
3鲁汉榕,杨光.微机上实现的一种有效的PROLOG系统[J].微型计算机,1991,11(6):9-12.
4朱关铭,缪淮扣.PROLOG系统中的一致化方法[J].计算机应用与软件,1990,7(3):8-12.
5龙守谌.用表结合的数据库-PROLOG系统[J].小型微型计算机系统,1990,11(8):35-39. 被引量：1
6梁旭,黄明.DSS中模型的自动机表示方法[J].吉林化工学院学报,2000,17(4):54-58. 被引量：1
7刘滨海.编译型PROLOG系统中内部谓词的实现策略[J].计算机工程与应用,1991,27(2):42-47.
8童家仙,高庆狮.一个面向向量机的Prolog系统——VProlog[J].计算机学报,1989,12(12):944-947.
9陶杰,鞠九滨,胡永刚.一个并行Prolog系统中的处理机分配算法及实现[J].计算机学报,1997,20(3):245-250.
10杨晓雅,房家国.McProlog系统的用户界面及总控程序的设计与实现[J].计算机科学技术与应用,1993(1):12-16.

计算机应用与软件

1991年第4期

浏览历史

内容加载中请稍等...

SUST-PROLOG/4361系统中的模块化设计及其实现

相关作者

相关机构

相关主题

浏览历史