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

FIXED: meta_predicate/1 declaration for tmember/2.

Browse Source
This commit is contained in:
Markus Triska
2021-11-20 22:37:59 +01:00
parent 21e5b0ab52
commit 2be8ed886b
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

@@ -72,7 +72,7 @@ i_memberd_t([], _, false).
i_memberd_t([X|Xs], E, T) :- i_memberd_t([X|Xs], E, T) :-
if_( X = E, T = true, i_memberd_t(Xs, E, T) ). if_( X = E, T = true, i_memberd_t(Xs, E, T) ).
:- meta_predicate tmember(1, ?). :- meta_predicate(tmember(2, ?)).
tmember(P_2, [X|Xs]) :- tmember(P_2, [X|Xs]) :-
if_( call(P_2, X), true, tmember(P_2, Xs) ). if_( call(P_2, X), true, tmember(P_2, Xs) ).