This library is intended to be used to display lexical hierarchies in tree format. The relevant predicates all take a unary predicate Pred. The predicates then pretty print in a tree format the hierarchy related to the predicate Fuctor/1 as follows. Pred dominates all predicates that call Pred in their body.
If the optional Functor argument is absent, then the user:call_default/1 hook predicate is used to obtain Functor.
transitive(X) :- verb(X).
verb(X) :- lex(X).
noun(X) :- lex(X).
gives the tree: lex(verb(transitive),noun)
Other calls in the body are attached to the label, as a poor man's way to illustrate multiple inheritance:
transitive(X) :- verb(X).
verb(X) :- lex(X).
noun(X) :- lex(X),other(X).
gives: lex(verb(transitive),noun[other])
Leaves of the tree can be defined by the user (e.g. to stop the tree at interesting point, and to give interesting info in the label, use the hook predicate user:call_leaf(Call,Label). And yes, don't forget the obvious: it is assumed that the predicates are not recursive.
This section lists the hook predicates for the hdrug_call_tree library.
Indicates that Functor is the default predicate for the various call_tree predicates.
This section lists the predicates exported by the hdrug_call_tree library.
pretty prints in a tree format the hierarchy related to the predicate Fuctor/1. If the optional Functor argument is absent, then the user:call_default/1 hook predicate is used to obtain Functor. The _tk _clig and _latex suffices indicate that a different output medium should be chosen (instead of the console).