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 Apr 23 15:03:39 2017
No longer supported by Imperial
College Department of Computing
Copyright Denis Howe 1985