Prolog动态代码的两种语义及其实现方法

Prolog数据库操作内部谓词是Prolog非逻辑成份的一个重要组成部分。为了实现Prolog程序的可移植性,这些内部谓词应有一致的操作语义。本文首先讨论了两种比较合理的语义,然后论述了这两种语义在WAM框架下的实现方法。     

编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。     

CRMXDBMS 汉字关系数据库管理系统

CRMX86操作系统是在改造iRMX86实时多任务操作系统的基础上开发出来的。它能高效地可配置与支持丰富的汉字功能。CRMXDBMS是它支持的一个功能相当于dBASE-Ⅲ和具有汉字功能的关系数据库管理系统,它具有两种用户加密手段、良好的汉化用户界面等特色。本文介绍了该系统的基本结构和主要设计技术。     

管理信息系统通用工具软件MT-l

MT-l是在汉字dBASE-Ⅲ的基础上开发的数据库工具软件,它具有图形化的数据描述和数据操纵语言,是一个实用的微机管理信息系统开发工具。它在图形化用户界面、数据字典、视图、数据完整性和安全性等方面优越于dBASE-Ⅲ。本文描述了 MT-l的总体结构和主要功能,讨论了主要设计和实现问题。     

多媒体城市“兵要地志”的研究

介绍了一种在“奔腾”微机上Ｗｉｎｄｏｗｓ操作系统下ＶＣ语言实现的带有声音,照片,影像等多媒体功能的面向城市的“兵要地志”软件系统。首称介绍了多媒体城市“兵要地志”软件系统的结构和功能,然后叙述了实现该软件系统的几个关键技术、输入,存储和显示。最后,指出了多媒体城市“兵要地志”软件系统的发展方向。