YAP 7.1.0
|
class listing/1 |
listing(+ P)
Lists predicate P if its source code is available If P is unbound list all predicates in the current source module If P is of the form M:P' use M as source module
Definition at line 1 of file listing.yap.
class listing/2 |
listing(Stream, + P)
Lists predicate P if its source code is available
class portray_clause/2 |
portray_clause(+ S,+ C)
Write clause C on stream S as if written by listing/0
class portray_clause/1 |
portray_clause(+ C)
Write clause C as if written by listing/0