Re: [eclipse-clp-users] partial search

From: Joachim Schimpf <joachim.schimpf_at_infotech.monash.edu.au>
Date: Fri, 30 Apr 2010 12:23:48 +1000
Wit Jakuczun wrote:
> W dniu 2010-04-29 17:19, Bogdan Tanasa pisze:
>> It is possible to have cases when running search with lds(0) to fail and
>> running search with complete to not fail ? (because I want only the first
>> solution that satisfy the constraints).
>>    
> Yes it is possible. Limited Discrepancy Search is not a complete method. 
> It means that it can fail before finding any solution.

Correct, and lds(0) is very unlikely to find you any solution, since it
does not allow any backtracking at all.  To find the first solution, simply
use once/1, see http://eclipse-clp.org/doc/tutorial/tutorial089.html

-- Joachim
Received on Fri Apr 30 2010 - 02:22:06 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET