Re-exported predicates

The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.

 explain(@Term) is det

Give an explanation on Term. 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.

 explain(@Term, -Explanation) is nondet

True when Explanation is an explanation of Term. The explaination is a list of elements that is printed using print_message(information, explain(Explanation)).

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 on_icl_read(Arg1)

 explain(Arg1, Arg2, Arg3)

 dialect_term_expansion(Arg1, Arg2, Arg3, Arg4)