Solution to Calling FD from c

[Hector Luis Palacios V.]

Ok. After some work I think I found a solution
to my problem (see later my previous message).

I was trying to call nested from C some prolog
predicates which post constraints.
But sometimes on backtraking I lost values in the
fd domains.

The way around (or an issue??? Daniel??)
was be sure that any call to prolog always success.
So, I managed ths posibility of fail in an argument
of the predicate. It worked,
but I'm very curious about...

Daniel, any idea???

Thanks.

 /--------------------------------------------------------------------------\
| 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    |
 \--------------------------------------------------------------------------/

On Tue, 14 Aug 2001, Hector Luis Palacios V. wrote:

> > I have been having some problems calling prolog
> from C. I'm using it to post some constraints, and
> to I have the option to backtrack. By example in a
> depth first search.
> 
> So, I used many "query_start" nested.
> 
> But I'm getting incorrect results in the resulting domains
> of FD variables. If I invoke it from gprolog interpreter
> I get the correct results...
> 
> I don't know is thereis any issue about FD and query_start.
> 
> Some body have experiences about? 
> 
> Thanks in advance.
> 
> Hector.
> 
>  /--------------------------------------------------------------------------\
> | 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    |
>  \--------------------------------------------------------------------------/
> 
> 
> 
> _______________________________________________
> Users-prolog mailing list
> address@hidden
> http://mail.gnu.org/mailman/listinfo/users-prolog
>