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: Thu Feb 23 16:41:40 2017
No longer supported by Imperial
College Department of Computing
Copyright Denis Howe 1985