约束逻辑程序设计语言CAL
-
1林琪.面向对象的约束逻辑程序设计[J].计算机工程与应用,1997,33(12):24-27.
-
2张永刚,孙吉贵.约束逻辑程序的一个新语义研究[J].广西师范大学学报（自然科学版）,2003,21(A01):1-5. 被引量：1
-
3陶意,刘椿年.约束逻辑程序部分演绎过程的研究[J].计算机学报,1997,20(3):238-244.
-
4常万军,郭祖华,魏昆鹏.简单单调约束逻辑程序的良基语义研究[J].计算机工程与设计,2013,34(6):2180-2184.
-
5宋柔.约束逻辑程序设计[J].模式识别与人工智能,1992,5(3):235-245.
-
6张立炎,徐华中,钱积新.逻辑、优化及约束程序的综述[J].武汉理工大学学报（信息与管理工程版）,2005,27(1):42-47.
-
7常万军,郭祖华,魏昆鹏.约束逻辑程序的良基模型研究[J].计算机工程,2013,39(9):298-302. 被引量：1
-
8汤玮,卢向澄,郑磊,刘椿年.用CLP技术解决动画自动生成中的布局规划问题[J].计算机应用研究,2006,23(5):244-247. 被引量：1
-
9徐成刚,易军凯,肖洋.基于约束逻辑程序设计的排课算法研究[J].计算机工程与应用,2006,42(31):197-199. 被引量：4
-
10王东锋,陈英武,谭跃进.QSIM中c过滤算法的CLP实现[J].计算机仿真,2003,20(3):33-35.
;
