排序方式: 共有13条查询结果,搜索用时 15 毫秒
1.
本文主要介绍逻辑程序设计语言LOGLISP的实现思想及采用的技术,介绍了LOGIC中的“语义合一”及“LISP归约”技术,讨论了“LISP专用形归结”原理。对“Cut”算子的实现提出了不同的思想。最后,简要说明了LOGIC中的演绎窗功能。 相似文献
2.
3.
4.
5.
本文简要介绍了面向对象的程序设计语言的思想方法,并以Smalltalk-80为例对面向对象的程序设计的机制作了详细介绍。 相似文献
6.
7.
本文介绍了我们在汉化Xenix系统支持下开发的80386PROLOG编译系统的某些特色,描述了全局变量,模块程序设计及受限辖域的cut等功能在80386 PROLOG中的实现及使用方法. 相似文献
8.
本文介绍了80386汉化Xenix环境下用C语言开发的电子字典软件原型的设计及实现思想。给出了电子字典的形式化描述,详细讨论了声音,文字字符等数据的存储及编码技术。最后,提出了电子字典中采纳的几个高效查询算法。 相似文献
9.
林阿龙 《计算机工程与应用》1990,(3):20-23
本文介绍我们在IBM PC机上开发的水位数据处理系统WDP中为解决潮位识别问题而采用的若干主要算法及其处理思想。由于水位数据信息量大且受外界影响的因素复杂,因此,目前尚没有比较成熟可循的算法能用来找出一天潮位的准确到达时刻。采纳本文给出的算法,我们设计并实现了一个能解决上述困难的水位数据处理系统。用一年的实际数据测试后,结果准确,系统响应较快,使用单位反应较好。本文最后阐述了在M1724型打印机上以微模式输出水位的曲线思想。 相似文献
10.