il est evidemment possible d'utiliser un sch ema de propagation par full-lookahead comme indiqu e pr ec edemment. En eeet, dans le cas de termes non-lin eaires, l'approximation par les intervalles peut ^ etre trop grossi ere ,
Dans beaucoup de probl emes il est n ecessaire de pouvoir raisonner sur des distances donc en termes de valeur absolue (ex. placements, allocation de fr equences, p.192 ,
A+10, *G, labeling(LD) ,
disj(Aa,Ad,Ba,Bd):greatereqc(Aa ,
Allows certain interactions with the operating system Under Unix the possible forms of Term are as follows: access(+Path,+Mode) Tests if Mode is the accessability of Path as in the C-function access ,
note that bit-vectors are not dynamic, i.e. all vectors must have the same size (0::vector max) So the use of fd vector max/1 is limited to the initial deenition of vector sizes and must occur before any constraint ,
relationc(+CTuples,+Vars) similar to relation/2 but the tuples are given column by column (faster than, p.262 ,
FD) ooers a set of boolean constraints based on Finite Domains. A boolean variable is nothing more than a FD variable with an initial domain 0::1. So arc-consistency is also used for booleans and thus the enumeration phase is required as for traditional FD constraints. No declarations are needed for boolean variables. When a varialble is involved in a boolean constraint it is automatically set to the initial domain 0, p.1 ,
Time Stamps Techniques for the Trailed Data in CLP Systems, Actes du S eminaire 1990 -Programmation en Logique, 1990. ,
Overview of the CHIP Compiler System, 8th International Conference on Logic Programming Also in Constraint Logic Programming, 1991. ,
Boolean Algorithms in PrologIII, Constraint Logic Programming, 1993. ,
FASTLI: An Exact Algorithm for the Constraint Satisfaction Problem: Application to Logical Inference, Research Report, LIPN, 1991. ,
Logical Inference Problem in Variables 0/1, IFORS 93 Conference, 1993. ,
Logic Programming with Pseudo-Boolean Constraints. Research Report MPI-I-91-227, 1991. ,
Bilan des etudes de la division AOC sur la r egulation du traac a erien, 1992. ,
Dossier de sp eciications du Syst eme Pr etactique pour Optimiser la R egulation du Traac a erien: SPORT V4, 1992. ,
An Interpreter for Predicate Logic Programs: Basic Principles, Research Report, vol.10, 1976. ,
The Memory Management of Prolog Implemantations, pp.12-20, 1980. ,
Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986. ,
DOI : 10.1109/TC.1986.1676819
Embedding Boolean Expressions into Logic Programming, Journal of Symbolic Computation, issue.4, pp.191-205, 1987. ,
Design and Implementation of an Or-Parallel Prolog Engine, 1990. ,
Constraint Solving and Entailment Algorithms for cc(FD), Research Report, 1993. ,
Entailment of Finite Domain Constraints, 11th International Conference on Logic Programming, 1994. ,
URL : https://hal.archives-ouvertes.fr/hal-00668885
Using clp(FD) to Support Air Trafc Flow Management, 3rd International Conference on the Practical Application of Prolog, 1995. ,
A portable and EEcient Implementation of KL1, ICOT/NSF Workshop on Parallel Logic Programming and its Programming Environments, 1994. ,
A metalevel compiler for CLP(FD) and its combination with intelligent backtracking, Constraint Logic Programming, 1993. ,
wamcc Prolog Compiler User's Manual, 1994. ,
clp(FD) User's Manual, 1994. ,
wamcc: Compiling Prolog to C, 12th International Conference on Logic Programming, 1995. ,
URL : https://hal.archives-ouvertes.fr/hal-00668817
A Minimal Extension of the WAM for clp(FD), 10th International Conference on Logic Programming, 1993. ,
URL : https://hal.archives-ouvertes.fr/hal-00668913
Compiling constraints in clp(FD), The Journal of Logic Programming, vol.27, issue.3 ,
DOI : 10.1016/0743-1066(95)00121-2
URL : https://hal.archives-ouvertes.fr/hal-00693245
Boolean Constraint Solving Using clp(FD), International Logic Programming Symposium, 1993. ,
URL : https://hal.archives-ouvertes.fr/hal-00668897
Clp(B): Combining simplicity and efficiency in boolean Constraint solving, Programming Language Implementation and Logic Programming Madrid, 1994. ,
DOI : 10.1007/3-540-58402-1_18
A Simple and EEcient Boolean Solver for Constraint Logic Programming ,
Finite Domain Constraints in Constraint Logic Programming, 14th European Conference on Operational Research, 1995. ,
URL : https://hal.archives-ouvertes.fr/hal-00668846
Utilisation des techniques de recherche op erationnelle pour les etudes Air Traac Management, 1992. ,
An introduction to Prolog-III, Communications of the ACM, vol.33, issue.7, 1990. ,
The Andorra-I engine: A parallel implementation of the basic Andorra model, 8th International Conference on Logic Programming, 1991. ,
Solving the Car-Sequencing Problem in Constraint Logic Programming, ECAI-88, 1988. ,
Solving large combinatorial problems in logic programming, The Journal of Logic Programming, vol.8, issue.1-2, 1990. ,
DOI : 10.1016/0743-1066(90)90052-7
A Prototype Compiler for Prolog with Boolean Constraints, GULP'93, Italian Conference on Logic Programming, 1993. ,
Algorithms for Testing the Satissability of Propositional Formulae, Journal of Logic Programming, issue.7, pp.45-61, 1989. ,
Airspace Management in Europe: issues and solutions, IFORS 1993: 13th International Conference of Operational Research, 1993. ,
Representing Type Information in Dynamically Typed Languages, 1993. ,
jc: An EEcient and Portable Sequential Implementation of Janus, Joint International Conference and Symposium on Logic Programming, 1992. ,
Increasing tree search efficiency for constraint satisfaction problems, Artificial Intelligence, vol.14, issue.3, pp.263-313, 1980. ,
DOI : 10.1016/0004-3702(80)90051-X
Kernel Andorra Prolog and its computation model, 7th International Conference on Logic Programming, 1990. ,
Turbo Erlang: Approaching the Speed of C, Implementations of Logic Programming Systems, 1994. ,
DOI : 10.1007/978-1-4615-2690-2_9
Branch-and-cut solution of inference problems in propositional logic, Annals of Mathematics and Artificial Intelligence, vol.29, issue.1-4, 1987. ,
DOI : 10.1007/BF01531074
Constraint Logic Programming, Principles Of Programming Languages, 1987. ,
A Methodology for Managing Hard Constraints in CLP Systems, proceedings of Sigplan PLDI, 1991. ,
An Abstract Machine for CLP(R), proceedings of Sigplan PLDI, 1992. ,
Modelisation of terminal zone aircraft sequencing in constraint logic programming, 1992. ,
The Versatility of Handling Disjunctions as Constraints In Programming Language Implementation and Logic Programming, 1993. ,
Consistency in networks of relations, Consistency in Networks of Relations, pp.99-118, 1977. ,
DOI : 10.1016/0004-3702(77)90007-8
Boolean Uniication { The story so far, Journal of Symbolic Computation, issue.7, pp.191-205, 1989. ,
Using Local Consistency Techniques to Solve Boolean Constraints, Constraint Logic Programming: Selected Research, 1993. ,
An alternative to Structure-Sharing in Logic Programming edited by, pp.99-106, 1982. ,
Programming in clp(BNR) In Position Papers of 1st PPCP, 1993. ,
Intelligent backtracking and sidetracking in horn clause programs, 1979. ,
L'Evaluation S emantique en Calcul Propositionnel, 1989. ,
Using Enumerative Methods for Boolean Uniication, Constraint Logic Programming, 1993. ,
Some Practical Results on the SAT Problem, Draft BIBLIOGRAPHIE, vol.269, 1993. ,
Concurrent Constraint Programming Languages Also (revised), 1989. ,
The category of constraint systems is Cartesian-closed, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, 1992. ,
DOI : 10.1109/LICS.1992.185546
Domains for denotational semantics, ICALP'82, International Colloquium on Automata Languages and Programming, 1982. ,
DOI : 10.1007/BFb0012801
Propositional calculus problems in CHIP, ECRC, 1990. ,
DOI : 10.1007/3-540-53162-9_39
Ordered Binary Decision Diagrams and the Davis-Putnam procedure, CCL'94 Constraints in Computational Logics, 1994. ,
DOI : 10.1007/BFb0016843
Constraint Satisfaction in Logic Programming. Logic Programming Series, 1989. ,
The Cardinality Operator: A new Logical Connective for Constraint Logic Programming, 8th International Conference on Logic Programming, 1991. ,
Constraint processing in cc(FD). Draft, 1991. ,
Design, Implementation and Evaluation of the Constraint language cc(FD). Draft, 1993. ,
A generic arc-consistency algorithm and its specializations, Artificial Intelligence, vol.57, issue.2-3, pp.291-321, 1992. ,
DOI : 10.1016/0004-3702(92)90020-X
Constraint satisfaction using constraint logic programming, Artificial Intelligence, vol.58, issue.1-3, pp.113-159, 1992. ,
DOI : 10.1016/0004-3702(92)90006-J
Can Logic Programming run as fast as Imperative Programming ? Report No UCB/CSD90, 1990. ,
High-performance logic programming with the Aquarius Prolog compiler, Computer, vol.25, issue.1, pp.54-67, 1992. ,
DOI : 10.1109/2.108055
An Abstract Prolog Instruction Set, 1983. ,
The Andorra Principle. Internal Report, Gigalips Group, Des contraintes na^ t la beaut e L eonard de Vinci, 1987. ,