共 50 条
- [1] Constraint functional logic programming for origami construction [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2003, 2895 : 73 - 88
- [2] A system for tabled constraint logic programming [J]. COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 478 - 492
- [3] Constraint inductive logic programming system [J]. Jisuanji Gongcheng/Computer Engineering, 2003, 29 (19):
- [4] Logic programming and constraint logic programming [J]. ACM COMPUTING SURVEYS, 1996, 28 (01) : 257 - 259
- [6] FORMAL DESIGN OF AN ABSTRACT MACHINE FOR CONSTRAINT LOGIC PROGRAMMING [J]. INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS, 1994, 51 : 377 - 382
- [7] Constraint logic programming [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6125 : 64 - 86
- [10] Constraint logic programming [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2002, 2407 : 512 - 532