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

Merge pull request #1088 from triska/call_nth_metapredicate

Browse Source 
FIXED: meta_predicate/1 directive for call_nth/2.
This commit is contained in:
Mark Thom
2021-11-13 00:03:26 -05:00
committed by GitHub
parent 1d2a838717 57877107d8
commit 21e55023a4
1 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/lib/iso_ext.pl
View File

@@ -23,11 +23,11 @@
type_error/3]).
:- meta_predicate call_cleanup(0, 0).
:- meta_predicate(call_cleanup(0, 0)).
:- meta_predicate setup_call_cleanup(0, 0, 0).
:- meta_predicate(setup_call_cleanup(0, 0, 0)).
:- meta_predicate forall(0, 0).
:- meta_predicate(forall(0, 0)).
forall(Generate, Test) :-
\+ (Generate, \+ Test).
@@ -131,7 +131,7 @@ handle_ile(B, E, _) :-
'$remove_call_policy_check'(B),
'$call_with_default_policy'(throw(E)).
:- meta_predicate call_with_inference_limit(0, ?, ?).
:- meta_predicate(call_with_inference_limit(0, ?, ?)).
call_with_inference_limit(G, L, R) :-
'$get_current_block'(Bb),
@@ -183,6 +183,8 @@ partial_string_tail(String, Tail) :-
:- dynamic(i_call_nth_nesting/2).
:- dynamic(i_call_nth_counter/1).
:- meta_predicate(call_nth(0, ?)).
call_nth(Goal, N) :-
can_be(integer, N),
( integer(N), N =< 0,