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 -- JoachimReceived on Fri Apr 30 2010 - 02:22:06 CEST
This archive was generated by hypermail 2.3.0 : Tue Apr 16 2024 - 09:13:20 CEST