本文简要介绍了面向对象的程序设计语言的思想方法,并以Smalltalk-80为例对面向对象的程序设计的机制作了详细介绍。
关键词： 面向对象的程序设计语言 / 信息隐藏 / 数据抽象 / 存贮单元
下载（39）| 被引（2）
本文对当前在Von-Neumann机上,实现逻辑程序设计语言所采用的推理控制策略,作了较详细的论述。综合介绍了固定式搜索、并发及协同机制、元规则的使用等方面的现状及存在的问题。
本文描述了采用静态数据分析实现逻辑程序“与”并行的方法。通过编译将逻辑程序的子句转换成执行图表达式。执行时,只需简单的测试即可进行“与”并行求解。该方法有时得不到最佳“与”并行。
邢汉承 李春林 《计算机研究与发展》 1988年04期 期刊
本文介绍了基于局部区和平面剪切求解平面规划的一种回溯算法,并给出了一个应用实例——单位支撑体建筑平面规划。
周宁 邢汉承 《计算机工程与应用》 1988年07期 期刊
逻辑程序设计语言NIT-PROLOG编译—解释系统 CNKI文献
逻辑程序设计语言 NIT-PROLOG 采用编译—解释方式实现。实现过程中综合考虑了匹配、索引、尾项递归优化、线性合一、查错跟踪等多项技术的采用,提供了不同的合一、解释模块,便于用户组成不同功能的 PROLOG 系统。
本文概述了逻辑程序并行性研究的状况和逻辑程序的并行处理方式。详细分析了目前两种获得“与并行”的计算模型,指出了它们的优劣性。最后得出结论:基于编译获得“与并行”是目前最有效的途径。文中同时给出了编译模型...
一、引言逻辑程序设计语言 PROLOG 是一种描述性语言,用户只需将问题求解所需的知识以子句形式提交系统,系统依靠自身的演绎求解机制可根据用户提供的知识求解出用户期望的结果。正因为如此,PROLOG 求解机制对用户查询...
关键词： inference / optimization / virtual / storage
下载（8）| 被引（0）
本文主要介绍在IBMPC/XT,AT机上开发的函数型与逻辑型相结合的程序设计系统LOGIC的实现思想。介绍了LOGIC的计算机制。较为详细地讨论了LOGIC的启发式搜索技术,对“启发式搜索”中“代价步增量”的影响作了简要分析。...
邢汉承 林阿龙 《计算机工程与应用》 1987年05期 期刊
控制枝术的改进是PROLOG指令集变化的主要原因。本文分析了现有推理机及模型的性能、数据表示技术和控制技术,得出结论:Warren抽象指令集(WAIS)的控制技术是提高推理速度的关键因素之一。通过对WAIS控制指令集的分析,...
