论文部分内容阅读
约束逻辑程序设计方法是提高ＰＲＯＬＯＧ语言效率的一种崭新方法，本文针对ＳＣ－ＰＲＯＬＯＧ解释系统的实现介绍其相应设计思想，从域变量含义入手，提出了域及约束的存储方法以及约束机制的实现算法，是对逻辑设计方法研究的一点体会。
SC—PROLOG解释系统中的约束逻辑程序设计方法
【摘 要】
：
约束逻辑程序设计方法是提高ＰＲＯＬＯＧ语言效率的一种崭新方法，本文针对ＳＣ－ＰＲＯＬＯＧ解释系统的实现介绍其相应设计思想，从域变量含义入手，提出了域及约束的存储方法以及约束机制的实现算法，是对逻辑设
【机 构】
：
国防科工委指挥技术学院
【出 处】
：
计算机工程与科学
【发表日期】
：
1997年1期
其他文献
高速ＰＣＢ已成为数字系统设计中的主流设计。本文概述了ＰＣＢ设计的发展趋势及设计流程，详细分析了影响高速信号传输的关键因素，具体介绍了规则驱动的ＰＣＢ设计方法和高速ＰＣＢ设计分析技术，介绍了现
本文分析了将Ｃａｃｈｅ引入磁盘阵列的必要性，建立了中央Ｃａｃｈｅ磁盘阵列结构排队模型，总结了影响其性能的主要因素。
本文对Windows NT进行了较深入的描述,重点探讨了Windows NT的内部结构,各部分功能,I/O和文件系统及存储管理。
由美国腹腔镜内镜外科医师协会（SLS）和其附属协会举办的＂微创外科周——2013年年会与内镜展示会＂将于2013年8月28～31日在美国华盛顿特区Verginia州Reston市举行。会议涉及普通外科
以前暂时不想在谷歌音乐中下载正版歌曲，可打开播放器在线收听。但遗憾的是，播放器里没新建播放列表功能，不能在线保存喜爱的音乐。还好，谷歌音乐近期进行了一次改版，支持自定义播放列表，对喜欢音乐的朋友来说实在是件大好事。想随时随地收藏喜欢的音乐吗?现在只需在谷歌音乐播放器中新建播放列表就成，往后无论身在何地，都能在线收听到自己播放列表中的动人歌曲了。
近日,字节跳动通过全资收购合众易宝的方式,获持第三方支付牌照。随着字节跳动的入局,再加上今年1月拼多多成功收购付费通,目前国内前10强的互联网公司已经全部获得了支付牌
老年横结肠隔膜伴巨结肠属于结肠闭锁(colonic atresia,CA)的一种,结肠闭锁是一种发生于结肠的先天性肠闭锁,属于少见的先天性消化道畸形。结肠闭锁多见于新生儿,成年人少见,
类型结构(type hierarchy)的可扩展性及可修改性是面向对象知识库(OOKB)的重要性质。本文介绍了OOKB 中的类型修改、变化的方式,以及随之带来的版本(version)问题和版本的使
EISA总线广泛应用于IBM PC系列机及其兼容机。本文介绍了EISA总线的定义及功能,阐明了EISA在几种应用场合下的时序波形图,突出了EISA总线灵活方便的特色。
作者在Windows 3.0上设计开发了一个Ada软件集成环境——ASIDE,它集多种软件工具(包括编辑器、编译器及键接器)于一体,采用多窗口和菜单以及鼠标枝术,为用户编辑、调试和运行