共 50 条
- [22] Functional and constraint logic programming CONSTRAINTS IN COMPUTATIONAL LOGICS: THEORY AND APPLICATIONS, 2001, 2002 : 202 - 270
- [27] AN INTRODUCTION TO CONSTRAINT LOGIC PROGRAMMING LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 617 : 82 - 94
- [28] Coinductive Constraint Logic Programming FUNCTIONAL AND LOGIC PROGRAMMING (FLOPS 2012), 2012, 7294 : 243 - 259
- [30] Sets and constraint logic programming ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2000, 22 (05): : 861 - 931