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

use round brackets for meta_predicate/1 declaration

Browse Source
This commit is contained in:
Markus Triska
2021-11-20 22:43:53 +01:00
parent 66becaf91c
commit faf74519dc
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(2, ?, ?). :- 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).