Re: [eclipse-clp-users] Question on search/6

Daniel Riera wrote:
> Ups!,
> 
> should I then do something like this?
> 
> (search(...,backtracks[N]) -> true;
>                                           getval(backtrack(BT),fail
> )

Yes, although you probably don't want to cut, so better

    (
        search(..., [backtrack(N)]),
        writeln(backtracks:N)
    ;
        getval(backtrack, N)_at_ic_search,
        writeln(backtracks:N),
        fail
    )


-- Joachim