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: Mon Sep 26 08:20:21 2016
No longer supported by Imperial
College Department of Computing
Copyright Denis Howe 1985