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 |