Re: ic:search/6

From: Andrew John Sadler <ajs2_at_icparc.ic.ac.uk>
Date: Thu 08 Jan 2004 04:35:26 PM GMT
Message-Id: <E1Aed82-00008l-GV@tempest.icparc.ic.ac.uk>
> 
> ...
> (search(Vars, 0, most_constrained, indomain, complete, [backtrack(B)])
>   ; true),
> write(stdout, B),
> ...
> 
> except 'B' isn't instantiated...
> 
> Suggestions welcome as to what I might do to determine the number of
> backtracks when there is no solution?

(search(Vars, 0, most_constrained, indomain, complete, [backtrack(B)])
  ; getval(backtrack,B)@ic_search),
!,
write(stdout, B),


Try that.
  Note the (!) to remove the choice point if the search succeeded.

Andrew Sadler
Received on Thu Jan 08 16:37:24 2004

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:26 PM GMT GMT