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

FIXED: meta_predicate/1 declaration for tfilter/3.

Browse Source
This commit is contained in:
Markus Triska
2021-11-20 22:39:38 +01:00
parent cf77f29988
commit e05dd5ebb5
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

@@ -28,7 +28,7 @@ dif(X, Y, T) :-
non(true, false). non(true, false).
non(false, true). non(false, true).
:- meta_predicate tfilter(1, ?, ?). :- meta_predicate tfilter(2, ?, ?).
tfilter(C_2, Es, Fs) :- tfilter(C_2, Es, Fs) :-
i_tfilter(Es, C_2, Fs). i_tfilter(Es, C_2, Fs).