Constraint logic programming – an informal introduction

Thom Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Eric Monfroy, Mark Wallace

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

25 Citations (Scopus)


Constraint Logic Programming (CLP) is a new class of programming languages combining the declarativity of logic programming with the efficiency of constraint solving. New application areas, amongst them many different classes of combinatorial search problems such as scheduling, planning or resource allocation can now be solved, which were intractable for logic programming so far. The most important advantage that these languages offer is the short development time while exhibiting an efficiency comparable to imperative languages. This tutorial aims at presenting the principles and concepts underlying these languages and explaining them by examples. The objective of this paper is not to give a technical survey of the current state of art in research on CLP, but rather to give a tutorial introduction and to convey the basic philosophy that is behind the different ideas in CLP. It will discuss the currently most successful computation domains and provide an overview on the different consistency techniques used in CLP and its implementations.

Original languageEnglish
Title of host publicationLogic Programming in Action - 2nd International Logic Programming Summer School, LPSS 1992, Proceedings
EditorsGerard Comyn, Michael J. Ratcliffe, Norbert E. Fuchs
Number of pages33
ISBN (Print)9783540559306
Publication statusPublished - 1992
Externally publishedYes
Event2nd International Logic Programming Summer School, LPSS 1992 - Zurich, Switzerland
Duration: 7 Sept 199211 Sept 1992

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume636 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference2nd International Logic Programming Summer School, LPSS 1992

Cite this