From: Aleksy Grabowski Date: Sat, 7 Sep 2024 06:22:47 +0000 (+0200) Subject: Change wording for non_counted_backtracking comment X-Git-Tag: v0.10.0~114^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=4b0f9558b33922319917b160bd41e383641d8be7;p=scryer-prolog.git Change wording for non_counted_backtracking comment --- diff --git a/src/lib/ops_and_meta_predicates.pl b/src/lib/ops_and_meta_predicates.pl index d4f67671..8f904d63 100644 --- a/src/lib/ops_and_meta_predicates.pl +++ b/src/lib/ops_and_meta_predicates.pl @@ -5,13 +5,16 @@ :- 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. +% Implementation specific 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 that are marked with it. Indexing choice instructions are unchanged. +% +% Implementation details: +% Default instructions 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. % -% 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`. :- op(700, fx, non_counted_backtracking). % arithmetic operators.