Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《JOURNAL OF BEIJING POLYTECHNIC UNIVERSITY》 2000-02
Add to Favorite Get Latest Update

A Non-Linear CLP Compiler and its Optimizations

Li Jingyue; Liu Chunnian; Zhou Tianshan; Zhong Ningyan; Miao Zhanlu (Computer Institute, Beijing Polytechnic University, Beijing, 100022 )  
The compiling schema and optimization strategies of a CLP system are discussed in this paper. The system is a multi-domain CLP system, based on interval arithmetic and constraint propagation as the unified constraint solving method for the discrete domain and real domain. This compiler can solve non-linear constraints based on an extended WAM instruction set. So far we have not found in literature any similar CLP system combining the three features features: multi-domain, non-linear constraints and compilation.
【Fund】: 国家自然科学基金!NSFC69883001;; 国家“863”高技术发展资助!863.306.ZT06-07-2
【CateGory Index】: TP311
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
【References】
Chinese Journal Full-text Database 1 Hits
1 Yi Junkai1 Zhai Xingquan2 Wang Xuejing11(School of Information Science and Technology,Beijing University of ChemicalTechnology,Beijing 100029)2(Institute of Naval Logistics Equipment Technology,Beijing 101200);Modeling for Extended Constraint Logic Programming[J];Computer Engineering and Applications;2004-30
【Citations】
Chinese Journal Full-text Database 2 Hits
1 Zhong Ningyan; Liu Chunnian; Miao Zhanlu(Department of Computer Science, Beijing Polytechnic University, Beijing, 100022 );Optimisations of A WAM-Based Prolog Compiler[J];JOURNAL OF BEIJING POLYTECHNIC UNIVERSITY;1998-04
2 Miao Zhanlu; Liu Chunnian; Zhong Ningyan (Computer institute, Beijing Polytechnic University, Beijing, 100022);Data Structure and Interpretation of Warren Abstract Machine[J];JOURNAL OF BEIJING POLYTECHNIC UNIVERSITY;1999-01
【Co-citations】
Chinese Journal Full-text Database 2 Hits
1 Miao Zhanlu; Liu Chunnian; Zhong Ningyan (Computer institute, Beijing Polytechnic University, Beijing, 100022);Data Structure and Interpretation of Warren Abstract Machine[J];JOURNAL OF BEIJING POLYTECHNIC UNIVERSITY;1999-01
2 Zhou Tianshan, Liu Chunnian, Li Jingyue, Zhong Mingyan, Miao Zhanlu (College of Computer Science, Beijing Polytechnic University, Beijing, 100022 );Solving Nonlinear Constraints in BPU_CLP_C Compiler[J];JOURNAL OF BEIJING POLYTECHNIC UNIVERSITY;2000-03
【Co-references】
Chinese Journal Full-text Database 3 Hits
1 Zhong Ningyan; Liu Chunnian; Miao Zhanlu(Department of Computer Science, Beijing Polytechnic University, Beijing, 100022 );Optimisations of A WAM-Based Prolog Compiler[J];JOURNAL OF BEIJING POLYTECHNIC UNIVERSITY;1998-04
2 Zhou Tianshan, Liu Chunnian, Li Jingyue, Zhong Mingyan, Miao Zhanlu (College of Computer Science, Beijing Polytechnic University, Beijing, 100022 );Solving Nonlinear Constraints in BPU_CLP_C Compiler[J];JOURNAL OF BEIJING POLYTECHNIC UNIVERSITY;2000-03
3 Zhang Xiuzhen; Liu Chunnian(Departmeat of Cmputtr Science Bnyng Polytechnic University Baijing 100022);SYNCHRONIZATION OF THE INFERENCE ENGINE WITH THE CONSTRAINT SOLVER IN A CLP SYSTEM[J];JOURNAL OF SOFTWARE;1996-07
【Secondary References】
Chinese Journal Full-text Database 2 Hits
1 XU Cheng-gang,YI Jun-kai,XIAO Yang (School of Information Science and Technology,Beijing University of Chemical Technology,Beijing 100029,China);Constraint Logic Programming-based Course Timetabling Algorithm[J];Computer Engineering and Applications;2006-31
2 WAN Jing,HE Yue-jiao,YI Jun-kai College of Information Science and Technology,Beijing University of Chemical Technology,Beijing 100029,China;Task-oriented software process control model[J];Computer Engineering and Applications;2009-22
【Secondary Citations】
Chinese Journal Full-text Database 1 Hits
1 Zhong Ningyan; Liu Chunnian; Miao Zhanlu(Department of Computer Science, Beijing Polytechnic University, Beijing, 100022 );Optimisations of A WAM-Based Prolog Compiler[J];JOURNAL OF BEIJING POLYTECHNIC UNIVERSITY;1998-04
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved