A Tiny Constraint Modelling Language

Marco Kuhlmann. A Tiny Constraint Modelling Language. Bachelor's thesis, Saarland University, Saarbr├╝cken, Germany, 2003.


Compared to the proprietary programming languages of systems like ILOG Solver, SICStus Prolog and Mozart Oz, constraint modelling languages offer a lot of benefits, such as usability and portability. This report presents the design and a prototype implementation of the ``Tiny Constraint Modelling Language'' (TCML). The data types and control structures of TCML have been designed to make the modelling of constraint problems intuitive and declarative; they include powerful iterators and arrays of dynamic size. The prototype implementation currently includes backends for Mozart Oz and ILOG solver.