[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: constraints and OR

From: Hector Palacios
Subject: Re: constraints and OR
Date: Thu, 3 Jan 2002 17:49:49 -0400 (VET)

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    |

reply via email to

[Prev in Thread] Current Thread [Next in Thread]