Welcome to a CLP textbook for beginners by Professor Niederlinski
Polish version


Antoni Niederlinski
A Gentle Guide to
Constraint Logic Programming
via ECLiPSe
Third edition, 2014, 570 p.
ISBN 9788362652082
The book is an introductory and downtoearth presentation of Constraint Logic Programming (CLP), an exciting software paradigm, more and more popular for solving combinatorial as well as continuous constraint satisfaction problems and constraint optimization problems. It is based on the popular, intensively supported and documented ECLiPSe platform, freely available under Ciscostyle Mozilla Public License.
The Author aims at teaching modeling i.e. translating verbal problem statements into Prolog or CLP programs. This has been dealt with by a series of problems of increasing complexity, translated into Prolog or CLP programs and running under ECLiPSe. The theoretical background has been minimized while stressing intuitive understanding. Presented constraint satisfaction problems deal with finding feasible/optimal states, and feasible/optimal statespace trajectories, starting with simple puzzles and proceeding to advanced ones, like graph coloring problems, scheduling problems with particular attention to jobshop problems (including the famous MT10 benchmark), and Traveling Salesman Problems. The last chapter is concerned with Continuous Constraints Satisfaction and Constraint Optimization Problems.
The book is only available through this website.


You may:
 download a free secured PDF file of the book,
 buy a hardcopy of the book with text files of examples.


Prof. zw. dr hab. inż. Antoni Niederlinski antoni.niederlinski@ae.katowice.pl
is active at the Economic University in Katowice, Poland, and at the Bielska Wyższa Szkoła
in BielskoBiała, Poland. Till 2009 he was active in the Institute of Automation at the Silesian Technical University in Gliwice, Poland. His longtime controlengineering activities resulted among other in designing a measure of interaction in multivariable control plants (known as the Niederlinski Index) and in
generalizing the ZieglerNichols method for tuning multivariable controlers. He authored the following books:
 "Multivariable Control Systems" (in Polish: "Układy wielowymiarowe automatyki"), WNT, 1974
 2volumes of "Digital Industrial Control Systems" (in Polish: "Systemy cyfrowe automatyki przemysłowej"), WNT, 1977
 "Systems and Control. An Introduction to Control and Technical Cybernetics" (in Polish: "Systemy i sterowanie. Wstęp do automatyki i cybernetyki technicznej"), PWN 1983
 2volumes of "Industrial Computer Control Systems" (in Polish: "Systemy komputerowe automatyki przemysłowej"), WNT 1984,1985
 "MicroprocessorsMicrocomputersMicrosystems" ("Mikroprocesorymikrokomputerymikrosystemy") WSP, 4 editions, 19781987
 "Adaptive Control" (in Polish: "Regulacja adaptacyjna"), PWN 1995  with J.Mościński and Z.Ogonowski
 "MultiEdip. A Multivariable System and Signal Analyzer" (in Polish: "MultiEdip Analiza wielowymiarowych sygnałów i obiektów" Pol.¦l. 1997  with J.Kasprzyk and J.Figwer
 "Rulebased Expert Systems" (in Polish: "Regułowe systemy ekspertowe"), PKJS 2000
 "Rule and Model Based Expert Systems rmes" PKJS 2008
 "A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe", PKJS 2011
For the last 20 years he was engaged in work on expert systems and constraint logic programming.


Nie udało się poł±czyć z baz± danych.
