logic) A language with discrete combinatorial constraint logic, aimed at industrial problems such as planning and scheduling. Implemented in C at Bull in 1989.
Last updated: 1994-11-15
Updated: Sun Mar 26 19:15:19 2017
No longer supported by Imperial
College Department of Computing
Copyright Denis Howe 1985