Français
2. Constraints in Prolog III
Here we look at the following constraint domains available in Prolog III: lists, rationals and Booleans.
The other area, that of trees, is covered in
2.1 Constraints on lists
The intensive use of lists led to the introduction of a specialized field....
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
Constraints in Prolog III
Constraints on finite domains and intervals
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
