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

From: Daniel Riera <daniel.riera_at_...6...>
Date: Wed, 2 Sep 2009 09:17:10 +0200

An eay-fast question:

Is there any possibility to use "search/6" with the "backtrack(-N)"
option in order to get the number of backtracks
performed during the search not only when it is successful but also
when the search fails? (When it fails, the variable
N stays nonground).

I know I can do it by programming my own labelling, but don't know if
it is possible with the search/6 predicate.

Thank you very much.

Yours sincerely,
"pluralitas non est ponenda sine neccesitate" (William of Ockham)
Received on Wed Sep 02 2009 - 07:17:18 CEST

This archive was generated by hypermail 2.3.0 : Thu Aug 22 2019 - 09:15:17 CEST