documents/libman/extpropia.tex

30 \chapter{Propia - A Library Supporting Generalised Propagation}
34 \label{Propia}
35 \index{Propia}
38 Propia is the name for the implementation of Generalised Propagation in
52 focusses on how to use it.  Further examples of the use of Propia are
54 .  A simple demonstration of Propia in action on Lewis Carroll's Zebra
57 application of Propia to crossword generation can be run by compiling
62 Using Propia it is easy to take a standard Prolog program and, with
69 a clause in its definition and evaluating the clause body, Propia
72 Propia extracts as much information as possible from the constraints
74 way Propia reduces the number of choices that need to be explored and
77 \section{Invoking and Using Propia}
79 Propia is an \eclipse library, loaded by calling
93 extracted, and Propia reduces the domains to achieve arc-consistency.
135 Propia copes correctly with built-in predicates, such as \#\gt and
152 {\em X} satisfying the above conditions are solutions.  Propia
342 The check for entailment can be expensive, so Propia only drops
366 version of Propia on a single small example.
455 handled by Propia are {\em unification} (which is the built-in solver
506 Finally it is possible to invoke Propia in such a way as to influence
516 In this case the Propia constraint wakes up each time a variable in
520 Propia constraints is $3$.
521 However, in the above example, the priority of the Propia