fix high arity and nth clause
This commit is contained in:
parent
fae3da8659
commit
2343494f1e
@ -379,8 +379,7 @@ nth_clause(V,I,R) :-
|
|||||||
between(1, N, I),
|
between(1, N, I),
|
||||||
'$nth_clause'(P,M,I,R).
|
'$nth_clause'(P,M,I,R).
|
||||||
'$nth_clause'(P,M,I,R) :-
|
'$nth_clause'(P,M,I,R) :-
|
||||||
( '$is_log_updatable'(P,M) ; '$is_source'(P,M) ), !,
|
'$p_nth_clause'(P,M,I,R), writeln(R), !.
|
||||||
'$p_nth_clause'(P,M,I,R).
|
|
||||||
'$nth_clause'(P,M,I,R) :-
|
'$nth_clause'(P,M,I,R) :-
|
||||||
'$is_dynamic'(P,M), !,
|
'$is_dynamic'(P,M), !,
|
||||||
'$nth_instancep'(M:P,I,R).
|
'$nth_instancep'(M:P,I,R).
|
||||||
|
Reference in New Issue
Block a user