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

FIXED: meta_predicate/1 declaration of cond_t/3.

Browse Source
This commit is contained in:
Markus Triska
2021-11-20 22:43:33 +01:00
parent 6610ba67c4
commit 66becaf91c
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

@@ -60,7 +60,7 @@ i_tpartition([X|Xs], P_2, Ts0, Fs0) :-
';'(A_1, B_1, T) :-
if_(A_1, T = true, call(B_1, T)).
:- meta_predicate cond_t(0, 0, ?).
:- meta_predicate(cond_t(1, 0, ?)).
cond_t(If_1, Then_0, T) :-
if_(If_1, ( Then_0, T = true ), T = false ).