逻辑程序设计语言LOGLISP的实现

本文主要介绍逻辑程序设计语言LOGLISP的实现思想及采用的技术,介绍了LOGIC中的“语义合一”及“LISP归约”技术,讨论了“LISP专用形归结”原理。对“Cut”算子的实现提出了不同的思想。最后,简要说明了LOGIC中的演绎窗功能。     

面向对象的程序设计语言

本文简要介绍了面向对象的程序设计语言的思想方法,并以Smalltalk-80为例对面向对象的程序设计的机制作了详细介绍。     

发声电子字典实现方案探讨

本文深入探讨了发声电子字典的软件实现方案，提出了最适合字典快速查询的存贮结构。     

80386PROLOG编译系统

本文介绍了我们在汉化Xenix系统支持下开发的80386PROLOG编译系统的某些特色,描述了全局变量,模块程序设计及受限辖域的cut等功能在80386 PROLOG中的实现及使用方法.     

电子字典软件原型及其实现技术

本文介绍了８０３８６汉化Ｘｅｎｉｘ环境下用Ｃ语言开发的电子字典软件原型的设计及实现思想。给出了电子字典的形式化描述，详细讨论了声音，文字字符等数据的存储及编码技术。最后，提出了电子字典中采纳的几个高效查询算法。     

WDP系统的设计与实现

本文介绍我们在IBM PC机上开发的水位数据处理系统WDP中为解决潮位识别问题而采用的若干主要算法及其处理思想。由于水位数据信息量大且受外界影响的因素复杂,因此,目前尚没有比较成熟可循的算法能用来找出一天潮位的准确到达时刻。采纳本文给出的算法,我们设计并实现了一个能解决上述困难的水位数据处理系统。用一年的实际数据测试后,结果准确,系统响应较快,使用单位反应较好。本文最后阐述了在M1724型打印机上以微模式输出水位的曲线思想。