rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Change wording for non_counted_backtracking comment

Browse Source
This commit is contained in:
Aleksy Grabowski
2024-09-07 08:22:47 +02:00
parent c922ed8b0a
commit 4b0f9558b3
1 changed files with 9 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
src/lib/ops_and_meta_predicates.pl
View File

@@ -5,13 +5,16 @@
:- op(1199, fx, meta_predicate). :- op(1199, fx, meta_predicate).
% Declarative operator used to implement `call_with_inference_limit/3` and % Implementation specific declarative operator used to implement
% `setup_call_cleanup/3`. Compiler switches to the default trust_me, retry_me_else % call_with_inference_limit/3 and setup_call_cleanup/3. Compiler switches
% and some other instructions for all predicates the marked with it. Indexing % to the default trust_me, retry_me_else and some other instructions for all
% choice instructions are unchanged. % 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). :- op(700, fx, non_counted_backtracking).
% arithmetic operators. % arithmetic operators.