predicate_reference(+Spec)//
predicate_reference(+Spec,
+Options)//Emit a reference to a predicate. Spec is a (possibly module
qualified) head or predicate indicator. Non-terminals are printed using
the // notation. Options:
- module(Which)
- One of
auto (default), hide or show.
Using
auto, the module qualification is removed if it is user,
system or a system internal module.
- link(Bool)
- If
false, do not create a hyperlink. Default is true.
- style(Class)
- Style class for the reference. Default is
code.
- tag(Bool)
- If
true, add a tag that indicates the kind of the
predicate. Default is false. This is intended for messages
that list candidate predicates, one per line.