Declarativity in modelling and problem solving

• Autorzy: Niederliński A.
• Języki publikacji: EN

Abstrakty

EN

The paper discusses a new trend in the modelling software for combinatorial and mixed combinatorial-continuous decision problems. The trend, aiming at solving those problems by the simple activity of properly describing them, is best exemplified by a constantly inereasing spectrum of Constraint Logic Programming (CLP) languages. The first such language was Prolog. After a short historical survey concentrating mainly on Prolog, main characteristics of a modern, commercially successful CLP language - CHIP - are presented, discussed and illustrated. The CLP approach to problem solving is compared with traditional Operation Research approaches.

Słowa kluczowe

EN

CHIP; CLP; combinatorial optimisation; constraint solving; declarative programming; high level language; logic programming; logic programming languages; Prolog; simulation language

PL

język symulacyjny; język wysokiego poziomu; optymalizacja kombinatoryczna

• Wydawca: Systems Research Institute, Polish Academy of Sciences
• Czasopismo: Control and Cybernetics
• Rocznik: 2000
• Tom: Vol. 29, no 1
• Strony: 325--339
• Opis fizyczny: Bibliogr. 15 poz.,

Twórcy

autor

Niederliński A.

• Instytut Automatyki, Politechnika Śląska, PL-44-100 Gliwice, Akademicka 16, Poland,