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