Adobe PDF (771.67 kB)
Title Details:
Constraint Logic Programming
Authors: Stamatopoulos, Panagiotis
Reviewer: Rontogiannis, Panagiotis
Subject: MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > PROGRAMMING LANGUAGES
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > INTELLIGENT SYSTEMS > BASIC KNOWLEDGE REPRESENTATION AND REASONING
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > PROGRAMMING LANGUAGES > LOGIC PROGRAMMING
Description:
Abstract:
In this chapter, constraint satisfaction problems and the way to handle them using constraint logic programming are presented. Additionally, the capabilities of the ic library in the ECLiPSe language for solving constraint satisfaction problems in finite domain variables are described. Finally, there is a reference to the branch_and_bound library of ECLiPSe, for addressing constraint satisfaction problems that are also optimization problems.
Linguistic Editors: Xifara, Foteini
Technical Editors: Papavasileiou, Spyridon
Graphic Editors: Papavasileiou, Spyridon
Type: Chapter
Creation Date: 2015
Item Details:
License: http://creativecommons.org/licenses/by-nc-nd/3.0/gr
Handle http://hdl.handle.net/11419/3592
Bibliographic Reference: Stamatopoulos, P. (2015). Constraint Logic Programming [Chapter]. In Stamatopoulos, P. 2015. Logic and Functional Programming [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/3592
Language: Greek
Is Part of: Logic and Functional Programming
Publication Origin: Kallipos, Open Academic Editions