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.
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.