期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
GKD-PROLOG/SUN多窗口系统的设计与实现
1
作者 严静东 吴泉源 +1 位作者 郭文明 邓铁清 《计算机工程与应用》 CSCD 北大核心 1992年第5期11-17,共7页
本文较系统地介绍和分析了SUN工作站上支持多窗口用户界面开发的窗口系统SUNVIEW,并根据PROLOG语言的特点,详细地讨论了在SUN工作站上PROLOG多窗口系统的设计思想。
关键词 窗口系统 gkd-prolog
在线阅读 下载PDF
GKD-PROLOG/VAX780系统设计
2
作者 胡运发 高洪奎 《计算机研究与发展》 EI CSCD 北大核心 1991年第3期13-16,共4页
本文介绍了GKD-PROLOG/VAX 780系统性能。它是一个实用的,有效的,可扩充的,可移植的,中西文、符号处理与图形处理兼容的系统,使用方便,时空效率较高(例如用国际上标准测试题证明GKD-PROLOG/VAX 780计算速度是Edinburgh 大学C-PROLOG 的1... 本文介绍了GKD-PROLOG/VAX 780系统性能。它是一个实用的,有效的,可扩充的,可移植的,中西文、符号处理与图形处理兼容的系统,使用方便,时空效率较高(例如用国际上标准测试题证明GKD-PROLOG/VAX 780计算速度是Edinburgh 大学C-PROLOG 的1.25倍,是Waterloo 大学WUP-PROLOG 的两倍)。同时还简要地介绍了GKD-PROLOG/VAX 780系统所采用的先进的设计技术。 展开更多
关键词 PROLOG语言 gkd-prolog 解释系统
在线阅读 下载PDF
GKD—PROLOG/SUN模块系统的设计与实现
3
作者 严静东 金芝 吴泉源 《计算机应用研究》 CSCD 1992年第3期10-14,共5页
模块化是大型程序设计的关键问题之一。本文在GKD—PROLOG/VAX解释器的基础上,详细分析了PROLOG模块系统的基本语法,知识的模块封装,信息隐藏等特性,实现了GKD—PROLOG/SUN模块系统,该系统以国际上流行的QUINTUS—PROLOG为蓝本,在解释... 模块化是大型程序设计的关键问题之一。本文在GKD—PROLOG/VAX解释器的基础上,详细分析了PROLOG模块系统的基本语法,知识的模块封装,信息隐藏等特性,实现了GKD—PROLOG/SUN模块系统,该系统以国际上流行的QUINTUS—PROLOG为蓝本,在解释器一级直接支持模块的动态及静态创建,模块间的交互及模块系统运行环境间的切换,使PROLOG适用于大型软件课题的需要,本系统不仅支持模块化的程序设计风格,也为实现面向对象的逻辑程序设计环境奠定了基础。 展开更多
关键词 模块系统 程序设计 gkd-prolog
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部