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

FIXED: meta_predicate/1 declaration for tpartition/4.

Browse Source 
This addresses #1101.
This commit is contained in:
Markus Triska
2021-11-20 22:37:31 +01:00
parent 75b01d5021
commit 21e5b0ab52
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/reif.pl
View File

@@ -38,7 +38,7 @@ i_tfilter([E|Es], C_2, Fs0) :-
if_(call(C_2, E), Fs0 = [E|Fs], Fs0 = Fs), if_(call(C_2, E), Fs0 = [E|Fs], Fs0 = Fs),
i_tfilter(Es, C_2, Fs). i_tfilter(Es, C_2, Fs).
:- meta_predicate tpartition(1, ?, ?). :- meta_predicate(tpartition(2, ?, ?, ?)).
tpartition(P_2, Xs, Ts, Fs) :- tpartition(P_2, Xs, Ts, Fs) :-
i_tpartition(Xs, P_2, Ts, Fs). i_tpartition(Xs, P_2, Ts, Fs).