Revert "Explain non_counted_backtracking a little bit more"

This reverts commit 2b7310763157eeaa8edb73a0f16217c5cd80e93f.

diff --git a/src/lib/iso_ext.pl b/src/lib/iso_ext.pl
index 5c779b10e11ce5a6c71b102515b2a82f2e0ff5e9..3eb00a3e80d47aa263c115077bda3ab4993804f9 100644 (file)
--- a/src/lib/iso_ext.pl
+++ b/src/lib/iso_ext.pl
@@ -223,7 +223,6 @@ run_cleaners_without_handling(Cp) :-
 %% call_with_inference_limit(Goal, Limit, Result).
 %
 % Similar to `call(Goal)` but it limits the number of inferences for each solution of Goal.
-% Calls to it may be nested, but only the last limit will be in power.
 call_with_inference_limit(G, L, R) :-
     (  integer(L) ->
        (  L < 0 ->

diff --git a/src/lib/ops_and_meta_predicates.pl b/src/lib/ops_and_meta_predicates.pl
index d4f6767105774771c52f762c1028501239ac3797..929165e3ff206c6e14edee27239a0e63e7e04218 100644 (file)
--- a/src/lib/ops_and_meta_predicates.pl
+++ b/src/lib/ops_and_meta_predicates.pl
@@ -5,13 +5,9 @@
 
 :- op(1199, fx, meta_predicate).
 
-% Declarative operator used to implement `call_with_inference_limit/3` and
-% `setup_call_cleanup/3`. Compiler switches to the default trust_me, retry_me_else
-% and some other instructions for all predicates the marked with it. Indexing
-% choice instructions are unchanged.
-%
-% Default instructins are not subject to inference counting, so their execution
-% will not be considered if they happen to be called by `call_with_inference_limit/3`.
+/* this is an implementation specific declarative operator used to implement call_with_inference_limit/3
+   and setup_call_cleanup/3. switches to the default trust_me and retry_me_else. Indexing choice
+   instructions are unchanged. */
 :- op(700, fx, non_counted_backtracking).
 
 % arithmetic operators.