General

Home

Other CLP-related Sites

Tutorial Material

On Constraints

• Book: Apt: Principles of Constraint Programming
• Book: Mariott/Stuckey: Programming with Constraints: an Introduction
• Book: Tsang: Foundations of Constraint Satisfaction
• Book: Van Hentenryck: Constraint Satisfaction in Logic Programming, MIT press, 1989
• On-line Guide to Constraint Programming, by Roman Barták
• Learning CLP/FD with Logic Puzzles, by Doug Edmunds
• Constraint Programming Approach to AI Applications, by Michela Milano
• Integration of CP and OR for Combinatorial Optimization, by Michela
• A CLP(FD) Tutorial, by Neng-Fa Zhou
• Constraint Programming Blog, by Hakan Kjellerstrand
• An Introductory Course on Constraint Logic Programming, by the VOCAL Project (ESPRIT #23182)

On Operations Research

• OR-Notes by J E Beasley
• IFORS tutORial

On Logic Programming and Prolog

• Prolog for Programmers, by Feliks Kluźniak, Stanisław Szpakowicz & Janusz S. Bień
• Ninety-Nine Prolog Problems, by Werner Hett
• Advanced Logic Programming, by James Cussens
• Online Book: An Introduction to Logic Programming through Prolog, by J. M. Spivey
• Learn Prolog Now! Online Prolog Course by Patrick Blackburn, Johan Bos and Kristina Striegnitz
• Prolog Example Programs by Colin Barker
• Prolog Tutorial by Anthony Aaby
• Prolog Introduction by Ulle Endriss
• AI course by Matthew Huntbach
• Prolog Applet and Tutorial by Sieuwert van Otterloo
• Prolog Programming - A First Course by Paul Brna (Tutorial)
• Prolog Tutorial by J. R. Fisher, Cal Poly Pomona
• Declarative Programming, University of Newcastle
• A Guided Tour of Bratko
• Interactive Prolog Guide by Roman Barták
• Sheffield University
• Uni Bamberg (in German)
• Adventure in Prolog (Amzi! Inc.)
• Course on Logic Programming by Frank Pfenning
• Artificial Intelligence through Prolog by Neil C. Rowe (online book)

Miscellaneous LP/CLP Resources

• Prolog Heritage Association
• Papers by M.H. van Emden
• COCONUT project
• 2002 Prolog Standardization Initiative
• ALP (Association for Logic Programming), the ALP Newsletter and Newsletter archive
• Group on Applied Optimization at University of Campinas
• Introduction to Constraint Handling Rules (CHR)
• Bibliography on Planning and Scheduling
• UK Planning and Scheduling SIG
• Constraints Archive
• Logic Programming Virtual Library Pages
• LP conferences and journals bibtex entries
• Functional LP
• Abstract Interpretation Bibliography
• Logic in Computer Science
• CMU Prolog Repository
• ISO Prolog Standard, US Prolog Standard
• UNH Constraint Computation Center (Gene Freuder)

Other LP and CLP Companies and Systems

• AI International
• ALS
• Amzi!
• Arity Prolog
• B-Prolog
• BinProlog
• clp(Q,R)
• COSYTEC
• CLAIRE
• Euclid
• Logtalk
• IF Computer (IFProlog)
• ILOG
• LPA (WIN-Prolog)
• Mercury home page
• HAL
• PDC (Visual Prolog)
• PrologIA
• Quintus, Sicstus and MUSE
• SWI-Prolog
• Oz

Operations Research

• Operations Research - The Science of Better
• COIN-OR (COmputational INfrastructure for Operations Research)
• Optimization Online
• CPLEX
• DASH Optimization (XPRESS-MP)
• GAMS
• AMPL
• COMPASS Modeling Solutions
• OR
• Virtual OR/MS library
• Linear and Nonlinear Programming FAQ

Benchmarks

• CSPLib - a benchmark library for constraints
• Planning & Scheduling benchmarks
• OR-Library (John E Beasley)
• Radio Link Frequency Assignment Problem
• The Mystery Shopper benchmark CP'96
• Multi-layer channel router in CLP(FD) and others
• Traffic Lights
• Travelling Salesman Problems library
• Scheduling Benchmarks and Resources
• Project Scheduling Problem Library by Rainer Kolisch