Detailed Description

Class Documentation

◆ listing/1

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.

◆ listing/2

class listing/2

listing(Stream, + P)

Lists predicate P if its source code is available

◆ portray_clause/2

class portray_clause/2

portray_clause(+ S,+ C)

Write clause C on stream S as if written by listing/0

◆ portray_clause/1

class portray_clause/1

portray_clause(+ C)

Write clause C as if written by listing/0