Français
1. General
In this section, we introduce the concepts of constraint programming (CP) and constraint logic programming (CLP), as well as an immediately understandable example of the application of CLP to finance. We then turn to the methodological aspects associated with PLC.
1.1 Programming with constraints (PC)
The notion of constraint commonly appears in the discourse of the computer scientist, most often in the drafting of specifications: typically, the constraints mentioned in these specifications must be respected by the computer system to be built. Constraint programming (CP) aims to enable the programmer to use constraints directly in a program.
if the specifications state that the value of...
The Ultimate Scientific and Technical Reference
This article is included in
Software technologies and System architectures
This offer includes:
Knowledge Base
Updated and enriched with articles validated by our scientific committees
Services
A set of exclusive tools to complement the resources
Practical Path
Operational and didactic, to guarantee the acquisition of transversal skills
Doc & Quiz
Interactive articles with quizzes, for constructive reading
General
Constraints in Prolog III
Bibliography
In Engineering Techniques
- (1) - BOIZUMAULT (P.) - Langage Prolog - . [ ], Technologies logicielles – Architectures des systèmes (2001).
Other references
Standardization
- Information Technology – Programming languages – Prolog – Part 1: General core. - ISO/CEI 15211-1 - 1995
- Information Technology – Programming languages – Prolog – Part 2: modules. - ISO/CEI 15211-2 - 2000
Software
(non-exhaustive list)
ILOG Solver http://www.ilog.com/products/solver
CHIP V5, COSYTEC http://www.cosytec.com
Polog II + (compilateur)
The Ultimate Scientific and Technical Reference
