DocumentCode :
286121
Title :
Two problems-two solutions: one system-ECLIPSE
Author :
Wallace, Mark ; Veron, André
Author_Institution :
ECRC, Munich, Germany
fYear :
1993
fDate :
34085
Firstpage :
42430
Lastpage :
42432
Abstract :
The constraint logic programming system ECLiPSe is discussed. Computation in ECLiPSe alternates between two modes: constraint handling and host program execution. The host programming language is (an extended) Prolog, which handles search, and interaction with the programming environment. The control for host program execution mode is the usual Prolog control. The constraint handling mode has a quite different form of control, which generalises data-driven computation. During constraint handling all possible information is extracted from the constraints. When there is no more information to be extracted, the system returns to host program execution, which continues until another constraint is posted and constraint handling restarts. The authors show the advantage of combining Prolog programming with constraints handling for a shift planning application. They also indicate how to control the constraint handling itself, and the application of such control for optimising job-shop scheduling programs
Keywords :
PROLOG; constraint handling; optimisation; scheduling; Prolog control; Prolog programming; constraint handling; constraint logic programming system ECLiPSe; data-driven computation; host program execution; job-shop scheduling programs; programming environment; shift planning application;
fLanguage :
English
Publisher :
iet
Conference_Titel :
Advanced Software Technologies for Scheduling, IEE Colloquium on
Conference_Location :
London
Type :
conf
Filename :
231140
Link To Document :
بازگشت