Re: [eclipse-clp-users] The "labeling" works but the "search" predicate no....

On 22/09/2013 15:36, Claudio Cesar de Sá wrote:
> Dear Sirs
>
> In my small example, it's works fine with "labeling" but
> not with "search" predicate.
> The error message is about undefined predicate.
>
> Is it missing some library?

As Sergii said, it's in library(fd_search).  You can find this information through calling 
help(search/6), or via the reference manual index http://www.eclipseclp.org/doc/bips/fullindex.html#S


> Is the labeling predicate a "search" specified with first-fail and indomain?

No, labeling(Xs) is equivalent to search(Xs,0,input_order,indomain,complete,[]).


Cheers,
Joachim