HOME | Japanese Version

last update: 28 March 2006

---

Tool

Tools are explained by classifying into the extension of Prolog, the rest, and the library for Non-logic Programming Language. Classifying is just for convenience. (For example, the languages to be classified into Functional Logic Programming Language may be classified separately according to whether the language has Prolog-like syntax or not. Besides it is clear that whether the syntax is Prolog-like or not is a matter of degree.)
Other information--the kinds of the handled constraints, whether tools continued to be developed and maintained or not, for business or not, pay or free--is attached. Please see each language site for details.
See Application for the system or the library of the constraint base that is specialized in the particular application field.

Language (Prolog Extension)

• B-Prolog -- Extension of Prolog, sold by KLS Research Lab, Inc.
• Ciao Prolog(Universidad Politechnica de Madrid)
• Mercury Project
• AKL, AGENTS, Penny (SICS) -- AKL is Concurrent Constraint Programming Language and the core of AGENTS system. Penny is a parallel version of AGENTS.
• Goedel -- Logic Programming Language. Constraint Solution System is included in the specification but may not be implemented.
• SICStus Prolog
• GNU Prolog
• IF Prolog -- Commercial system sold in Japan
• CAL -- Sequential Constraint Logic Programming Language System for Nonlinear Algebraic Equation Constraint etc. It was developed by ICOT.
• CHAL -- Hierarchical Constraint Logic Programming Language System that searches the solution satisfying the strong constraint as possible by introducing the strength hierarchy into constraint. It was developed by ICOT.
• GDCC -- Parallel Constraint Logic Programming Language for Nonlinear Algebraic Equation Constraint etc. It was developed by ICOT.
• CuProlog -- Constraint Logic Programming Language for symbolic and combinational constraints. It was developed by ICOT and used for Natural Programming Language Processing.

Language (Non Prolog)

• The Mozart Programming System(DFKI/SICS/Catholic University of Louvain) -- Environment for Oz Language development
• HAL(Monash University¡Ë-- Functional Logic Programming Language
• ALF System
• Curry -- Functional Logic Programming Language. The syntax is based on Functional Programming Language Haskell. There are some implementations including interpreter and compiler.
• The Elf Meta-Language

Library

• FaCiLe, Constraint Library for Functional Programming Language OCaml (ENAC,France)
• Cassowary Constraint Solving Toolkit(University of Washington)
• Amulet(Carnegie Mellon University)-- C++ Library. Successor to Garnet.
• Garnet(Carnegie Mellon University)-- LISP Library. It stops being developed now. It is succeeded by Amulet.
• JACK -- Constraint Programming for Java and a library for search
• Csplib -- Constraint Library of C. It was made to compare various algorithms.
• Screamer -- Constraint Library of Lisp
• EXCALIBUR: Adaptive Constraint-Based Agents in Artificial Environments -- in AI-CENTER
• DragonBreath: An Optimization Engine based on Constraint Programming and Local Search -- in AI-CENTER
• ILOG Solver -- Constraint Library of commercial C++. It is used widely as an infrastructure for ASP tool of the main ERP or SCM vendor.
• ILOG JSolver -- commercial Constraint Library in Java.

Development Tool

• ILOG OPL Studio(ILOG) -- Prototype development tool for solving optimization problem

Library and Package for The Specific Area

• ILOG Scheduler (ILOG) -- Constraint-based C++ class Library for Production Scheduling
• ILOG Configurator (ILOG) -- Configuration Supporting Library (C++ version)
• ILOG Jconfigurator (ILOG) -- Configuration Supporting Library (Java version)
• ILOG Dispatcher (ILOG) -- Transportation Scheduling Library
• Sced: Constraint Based Scene Design -- by Stephen Chenney

---

HOME | TOP

Copyright(C) 2001-2006 by NTT DATA SEKISUI SYSTEMS CORPORATION. All rights reserved.