CHIP

Appeared in Volume 7/1, February 1994

CHIP V4 (Constraint Handling In Prolog) written completely in C, is designed as an extension to Prolog offering three constraint solving domains: integers, rationals and booleans. The system was originally developed at ECRC in Munich and has been extended by the same team at COSYTEC in Paris.

CHIP V4 now includes extensions to the three domains: symbolic constraints, update demons and cumulative constraints. The system is available with optional interfaces for X11 and DOS graphics (XGIP), Oracle or Ingres database connections (QUIC), a C language interface (CLIC) and an embedded application interface (EMC).

CHIP V4 is available on a range of workstations including SunSparc (SunOS 4.1), IBM RS6000 (AIX 3.2), HP 9000/700 series (HPUX 9.0) and Decstation 3000 & 5000 (Ultrix 4.2) and PC386/486 (Dos 5.0).

Development and runtime licences can be purchased for single-user, multi-user or site licences together with support and maintenance. An academic discount is offered for educational and research purposes.

Some industrial applications: Multi user scheduling tool for the control of several herbicide canning and packaging production lines; Refinery scheduling system; Crew rostering system for service personnel for the TGV Atlantique system; A system to manage the allocation of hardware and software resources in a banking network.

For more information contact:

COSYTEC
Parc Club Orsay Universite
4 rue Jean Rostand
91893 Orsay Cedex, France
Tel: +33 1 60 193 738
Fax: +33 1 60 193 620
Email: kay@cosytec.fr