predicate_property would only return first prop for system pred (obs from Paulo Moura).
This commit is contained in:
parent
a6f0b8cc9f
commit
9a0393e2ce
@ -813,7 +813,7 @@ predicate_property(Pred,Prop) :-
|
|||||||
|
|
||||||
|
|
||||||
'$predicate_property'(P,M,_,built_in) :-
|
'$predicate_property'(P,M,_,built_in) :-
|
||||||
'$system_predicate'(P,M), !.
|
'$system_predicate'(P,M).
|
||||||
'$predicate_property'(P,M,_,source) :-
|
'$predicate_property'(P,M,_,source) :-
|
||||||
'$flags'(P,M,F,F),
|
'$flags'(P,M,F,F),
|
||||||
F /\ 0x00400000 =\= 0.
|
F /\ 0x00400000 =\= 0.
|
||||||
|
Reference in New Issue
Block a user