Constraint Logic Programming

• Oz-Mozart@
• Prolog@

• Austrian Research Institute for Artificial Intelligence  - Europe non-profit contract research institution, presents people, research, publications, and services.
• Comparative Study of Eight Constraint Programming Languages  - Discusses the features of different constraint programming languages for evaluation.
• Compulog Net Area Meeting on Parallelism  - Presents compilation of documented studies made on the studied programming language, which is described in its full title, "Post-JICSLP'96 Workshop and 1996 Compulog Net Area Meeting on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages".
• Elf Meta-Language  - Provides programming language and logics implementation. Contains lists of contributors and contact information.
• The Esprit Working Group 22457 – CCLII Construction of Computational Logistics II  - Provides summary of the program, which includes articles on its history.
• FormulaOne Compiler  - Constraint logic programming (CLP) system; includes downloads, tutorial and sample code.
• Hierarchy Constraint Logic Programming  - Contains collection of resources related to constraint logic programming language.
• Mozart Programming System  - Contains feature overview, demonstration, publications, news, project and software.
• Technical Reports  - Discusses details on constraint logic programming scheme implementation.
• Tool: CLP(R)  - Presents synopsis that profiles definition, source, author, location and parts of constraint logical programming.
• Universal Grammar in Prolog  - Explore detailed information about Parser operations, includes comparison to grammar and related data.
• Using CLP (R)  - Features instructions on how to set-up the use of constraint programming.