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

FIXED: meta_predicate/1 directive for call_nth/2.

Browse Source 
This addresses #1021.
This commit is contained in:
Markus Triska
2021-11-11 19:26:27 +01:00
parent 1d2a838717
commit e9b4a99c8f
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/iso_ext.pl
View File

@@ -183,6 +183,8 @@ partial_string_tail(String, Tail) :-
:- dynamic(i_call_nth_nesting/2). :- dynamic(i_call_nth_nesting/2).
:- dynamic(i_call_nth_counter/1). :- dynamic(i_call_nth_counter/1).
:- meta_predicate(call_nth(0, ?)).
call_nth(Goal, N) :- call_nth(Goal, N) :-
can_be(integer, N), can_be(integer, N),
( integer(N), N =< 0, ( integer(N), N =< 0,