-
题名Warren抽象机(WAM)的数据结构和解释实现
被引量：3
- 1
-
-
作者
苗占禄
刘椿年
钟宁燕
-
机构
北京工业大学计算机学院
-
出处
《北京工业大学学报》
CAS
CSCD
1999年第1期56-63,共8页
-
基金
国家自然科学基金
国家"八六三"高技术发展资助
-
文摘
用Ｃ语言严格描述了Ｗａｒｒｅｎ抽象机（ＷＡＭ）的数据结构，并给出ＷＡＭ指令代码的具 体解释实现及算术表达式的高效处理.
-
关键词
warren抽象机
数据结构
编译系统
PROLOG语言
-
Keywords
logic programming, warren Abstract: Machine (WAM), prolog compiler
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于WAM的Prolog编译优化
被引量：3
- 2
-
-
作者
钟宁燕
刘椿年
苗占禄
-
机构
北京工业大学计算机科学系
-
出处
《北京工业大学学报》
CAS
CSCD
1998年第4期43-49,共7页
-
基金
国家自然科学基金
国家"八六三"高技术发展资助
-
文摘
描述了一个基于WAM的高度优化的全Prolog编译系统的设计与实现，本系统是在并行、约束逻辑程序设计等方向上扩充WAM的出发点和基本平台，系统能高效地进行算术表达式计算，支持各种预定义谓词，系统的键壮性和灵活性也令人满意．经过测试系统，比BPU－Prolog快7—8倍，优于国际上某些Prolog编译系统．
-
关键词
warren抽象机
编译优化
CLP
Prolog编译系统
-
Keywords
WAM, Prolog compilation, optimization
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
-
题名CLP编译系统中非线性约束求解的算法与优化
被引量：1
- 3
-
-
作者
周天山
刘椿年
李京悦
钟宁燕
苗占禄
-
机构
北京工业大学计算机学院
-
出处
《北京工业大学学报》
CAS
CSCD
2000年第3期104-107,共4页
-
基金
国家自然科学基金资助项目!(NS FC69883001)
国家"863"高科技计划资助项目!(863-306-ZT06-07-2
-
文摘
描述了一个高度优化的约束逻辑程序（ＣＬＰ）编译系统解释实现中的算法和优化策略．并通过定义新的数据结构，采用多种优化策略，使该系统能够以较高效率处理经典的非线性约束问题．
-
关键词
warren抽象机
约束逻辑程序设计
多重论域
非线性约束
编译系统
算法
优化
-
Keywords
WAM, CLP, multi_domain,nonlinear constraints
-
分类号
TP391.2
[自动化与计算机技术—计算机应用技术]
-
