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

From: Joachim Schimpf <jschimpf_at_coninfer.com>
Date: Sun, 22 Sep 2013 23:50:44 +0100
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
Received on Sun Sep 22 2013 - 22:51:00 CEST

This archive was generated by hypermail 2.2.0 : Mon Sep 30 2013 - 18:13:26 CEST