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

Revert "Explain non_counted_backtracking a little bit more"

Browse Source 
This reverts commit 2b73107631.
This commit is contained in:
Aleksy Grabowski
2024-09-07 08:13:10 +02:00
parent d3071988b2
commit 3af24a8067
2 changed files with 3 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/lib/iso_ext.pl
View File

@@ -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 ->

10
src/lib/ops_and_meta_predicates.pl
View File

@@ -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.