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

small fixes

Browse Source
This commit is contained in:
Vítor Santos Costa
2014-09-09 23:53:41 -05:00
parent 3fd07064da
commit b26b5b1b7d
3 changed files with 13 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
pl/messages.yap
View File

@@ -599,12 +599,16 @@ clause_to_indicator(T, M:Name/Arity) :-
strip_module(T, M, T1),
pred_arity( T1, Name, Arity ).
pred_arity(V,M,M,V,call,1) :- var(V), !.
pred_arity((H:-_),Name,Arity) :- !,
functor(H,Name,Arity).
pred_arity(V,call,1) :- var(V), !.
pred_arity((H:-_),Name,Arity) :-
nonvar(H),
!,
functor(H,Name,Arity).
pred_arity((H-->_),Name,Arity) :- !,
functor(HL,Name,1),
Arity is A1+2.
nonvar(H),
!,
functor(HL,Name,1),
Arity is A1+2.
pred_arity(H,Name,Arity) :-
functor(H,Name,Arity).
functor(H,Name,Arity).