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

predicate_property(P,source).

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@419 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2002-03-17 06:05:21 +00:00
parent 4a33e9066c
commit 521fe00a2d
2 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/yap.tex
View File

@ -4806,6 +4806,8 @@ true if the predicate is exported in the current module.
@item public @item public
true if the predicate is public; note that all dynamic predicates are true if the predicate is public; note that all dynamic predicates are
public. public.
@item source
true if source for the predicate is available.
@end table @end table
@end table @end table

2
pl/utils.yap
View File

@ -566,6 +566,8 @@ 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) :-
( '$recordedp'(M:P,_,_) -> true ; false).
'$predicate_property'(P,M,_,dynamic) :- '$predicate_property'(P,M,_,dynamic) :-
'$is_dynamic'(P,M). '$is_dynamic'(P,M).
'$predicate_property'(P,M,_,static) :- '$predicate_property'(P,M,_,static) :-