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: Wed Dec 7 18:43:46 2016
No longer supported by Imperial
College Department of Computing
Copyright Denis Howe 1985