Download An Introductory Course on Constraint Logic Programming

Transcript
Bibliography
#Col87]
#Col90]
#COS96]
#DEDC96]
#Fer81]
#Her97]
#HSB+ 96]
#JM94]
#MDV90]
#MS98]
#PAC]
#Pro]
A. Colmerauer. Opening the Prolog-III Universe. In BYTE Magazine, August
1987.
A. Colmerauer. An Introduction to Prolog III. Communications of the ACM,
28(4):412{418, 1990.
COSYTEC, Parc Club Orsay Universit(e, 4 Rue Jean Rostand, 91893 Orsay Cedex,
France. CHIP V5 System Docmentation, April 1996.
P. Deransart, A. Ed-Dbali, and L. Cervoni. Prolog: The Standard. SpringerVerlag, 1996.
R. Ferguson. Prolog: A step towards the ultimate computer language. Byte,
November 1981.
M. Hermenegildo. Some Challenges for Constraint Programming. The Constraints
Journal, 2(1):63{69, 1997. Special issue on strategic directions in constraint programming.
P. Van Hentenryck, V. Saraswat, A. Borning, A. Brodski, P. Codognet, R. Dechter,
M. Dincbas, E. Freuder, M. Hermenegildo, J. Jaar, S. Kasif, J.-L. Lassez,
D. McAllester, Ken McAloon, A. Macworth, U. Montanari, W. Older, J.-F. Puget,
R. Ramakrishnan, F. Rossi, G. Smolka, and R. Wachter. Strategic Directions in
Constraint Programming. ACM Computing Surveys, 28(4):701{726, 1996. 50th
Anniversary Issue on Strategic Directions in Computer Research.
J. Jaar and M.J. Maher. Constraint Logic Programming: A Survey. Journal of
Logic Programming, 19/20:503{581, 1994.
H. Simonis M. Dincbas and P. Van Hentenryck. Solving Large Combinatorial
Problems in Logic Programming. Journal of Logic Programming, 8(1 & 2):72{93,
1990.
Kim Marriot and Peter Stuckey. Programming with Constraints: An Introduction.
The MIT Press, 1998.
The practical application of constraint technology conference series. The Practical
Application Company, 54 Knowle Avenue, Blackpool, Lancs FY2 9UD, U.K.
PrologIA, Parc Technologique de Luminy - Case 919, 13288 Marseille cedex 09,
France. Prolog IV Manual.
109