From: Aleksy Grabowski Date: Sat, 7 Sep 2024 06:13:10 +0000 (+0200) Subject: Revert "Explain non_counted_backtracking a little bit more" X-Git-Tag: v0.10.0~113^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=3af24a8067173b3242cdb9357abe7f4fb0fadad4;p=scryer-prolog.git 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 5c779b10..3eb00a3e 100644 --- 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 d4f67671..929165e3 100644 --- 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.