explain(+ToExplain)Give an explanation on the given `object'. The argument may be any
Prolog data object. If the argument is an atom, a term of the form
Name/Arity or a term of the form Module:Name/Arity,
explain/1
describes the predicate as well as possible references to it. See also gxref/0.