Programming with Logic and Constraints	Resources
Home | Author | Lectures| Resources

Prolog	Constraints
Printed Programming in Prolog W.F. Clocksin & C.S. Mellish, Springer-Verlag, Berlin, 1986 The Art of Prolog L. Sterling & E. Shapiro, The MIT Press, 1986 The Craft of Prolog O'Keefe R.A., MIT Press, 1990 PROLOG Programming for Artificial Intelligence Bratko I., Addison-Wesley, 2001 (third edition)	Printed Constraint Satisfaction in Logic Programming P. Van Hentenryck, MIT Press, 1989 Constraint Processing R. Dechter, Morgan Kaufmann, 2003 Programming with Constraints: An Introduction K. Marriott and P.J. Stuckey, The MIT Press, 1998 Foundations of Constraint Satisfaction E. Tsang, Academic Press, 1993
On-line On-line Guide to Prolog Programming (tutorial) http://kti.mff.cuni.cz/~bartak/prolog/ Learn Prolog Now! (tutorial) http://www.coli.uni-saarland.de/~kris/learn-prolog-now/ Association for Logic Programming (community web) http://www.cwi.nl/projects/alp/	On-line On-line Guide to Constraint Programming (tutorial) http://kti.mff.cuni.cz/~bartak/constraints/ Constraints Archive (archive and links)http://4c.ucc.ie/web/archive/index.jsp Constraint Programming online (community web)http://www.cp-online.org/
© 2005, Roman Barták