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

add missing fact to beginning of tmember_t/3 (#1275)

Browse Source
This commit is contained in:
Mark Thom
2022-02-11 17:25:01 -07:00
parent 42da543980
commit 60dd47c696
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/lib/reif.pl
View File

@@ -79,5 +79,6 @@ tmember(P_2, [X|Xs]) :-
:- meta_predicate(tmember_t(2, ?, ?)). :- meta_predicate(tmember_t(2, ?, ?)).
tmember_t(_P_2, [], false).
tmember_t(P_2, [X|Xs], T) :- tmember_t(P_2, [X|Xs], T) :-
if_( call(P_2, X), T = true, tmember_t(P_2, Xs, T) ). if_( call(P_2, X), T = true, tmember_t(P_2, Xs, T) ).