Re: constraints and OR

[Hector Palacios]

On Thu, 3 Jan 2002, Johannes Middeke wrote:
> hi,
> 
> 
> can I, when using FDs, tell prolog to apply either one constraint or
> another, but not both? (I would like to have two intervals [A,B] and
> [C,D], where A,B,C,D are FD-variables and the intersection is the empty
> set, so that C has to be greater than B XOR lesser than A.)

Well, you can post a constraint like
X > Y XOR Y > Z

but its very weak. I think you must do some test
to be sure of king of inference it can do.

I hope it can help...

-- 
 /--------------------------------------------------------------------------\
| Artificial Intelligence Group    | He venido para que tengan vida, y la   |
| Universidad Simon Bolivar        | tengan en abundancia. Jesus de Nazaret |
|---------------------------------------------------------------------------|
| Hector Luis Palacios Verdes      | address@hidden, address@hidden    |
 \--------------------------------------------------------------------------/