Bibliography

Col87

A. Colmerauer.
Opening the Prolog-III Universe.
In BYTE Magazine, August 1987.

Col90

A. Colmerauer.
An Introduction to Prolog III.
Communications of the ACM, 28(4):412-418, 1990.

COS96

COSYTEC, Parc Club Orsay Université, 4 Rue Jean Rostand, 91893 Orsay Cedex, France.
CHIP V5 System Docmentation, April 1996.

DEDC96

P. Deransart, A. Ed-Dbali, and L. Cervoni.
Prolog: The Standard.
Springer-Verlag, 1996.

Fer81

R. Ferguson.
Prolog: A step towards the ultimate computer language.
Byte, November 1981.

Her97

M. Hermenegildo.
Some Challenges for Constraint Programming.
The Constraints Journal, 2(1):63-69, 1997.
Special issue on strategic directions in constraint programming.

HSB⁺96

P. Van Hentenryck, V. Saraswat, A. Borning, A. Brodski, P. Codognet, R. Dechter, M. Dincbas, E. Freuder, M. Hermenegildo, J. Jaffar, 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.

JM94

J. Jaffar and M.J. Maher.
Constraint Logic Programming: A Survey.
Journal of Logic Programming, 19/20:503-581, 1994.

MDV90

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.

MS98

Kim Marriot and Peter Stuckey.
Programming with Constraints: An Introduction.
The MIT Press, 1998.

PAC

The practical application of constraint technology conference series.
The Practical Application Company, 54 Knowle Avenue, Blackpool, Lancs FY2 9UD, U.K.

Pro

PrologIA, Parc Technologique de Luminy - Case 919, 13288 Marseille cedex 09, France.
Prolog IV Manual.

SS86

L. Sterling and E.Y. Shapiro.
The Art of Prolog.
MIT Press, Cambridge MA, 1986.

Swe95

Swedish Institute of Computer Science, P.O. Box 1263, S-16313 Spanga, Sweden.
Sicstus Prolog V3.0 User's Manual, 1995.

Van89

P. Van Hentenryck.
Constraint Satisfaction in Logic Programming.
MIT Press, 1989.

VD92

P. Van Roy and A.M. Despain.
High-Performace Logic Programming with the Aquarius Prolog Compiler.
IEEE Computer Magazine, pages 54-68, January 1992.