• 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