diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

curried, what else?

Browse Source
This commit is contained in:
Vitor Santos Costa 2016-08-05 16:36:48 -05:00
parent 833ffbb104
commit fdfefbbd46
1 changed files with 3 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pl/preds.yap
View File

@ -600,10 +600,12 @@ Defines the relation: _P_ is a currently defined predicate whose name is the at
*/ */
current_predicate(A,T0) :- current_predicate(A,T0) :-
'$yap_strip_module'(T0, M, T), '$yap_strip_module'(T0, M, T),
(nonvar(T) -> functor(T, A, _) ; true ),
( (
'$current_predicate'(A,M, T, user) '$current_predicate'(A,M, T, user)
; ;
'$imported_predicate'(A, T, M, T1, M1), '$imported_predicate'(T, M, T1, M1),
functor(T1, A, _),
\+ '$is_system_predicate'(T1,M1) \+ '$is_system_predicate'(T1,M1)
). ).
@ -712,12 +714,6 @@ current_predicate(F0) :-
N is N2-2 N is N2-2
). ).
'$imported_predicate'(A, G, ImportingMod, G, Flags) :-
'$get_undefined_pred'(G, ImportingMod, G0, ExportingMod),
'$pred_exists'(G0, ExportingMod),
'$predicate_flags'(G0, ExportingMod, Flags, Flags),
functor(G, A, _Arity).
/** @pred current_key(? _A_,? _K_) /** @pred current_key(? _A_,? _K_)