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. Term can be any Prolog data object. Some terms have a specific meaning:

• A (partial) reference to a predicate gives the predicates, its main properties and references to the predicates. Partial references are:
  • Module:Name/Arity
  • Module:Head
  • Name/Arity
  • Name//Arity
  • Name
  • Module:Name
• Some predicate properties. This lists predicates as above the have this property. The specification can be of the shape Module:Property or just Property. The qualified version limits the result to predicates defined in Module. Supported properties are:
  • dynamic
  • thread_local
  • multifile
  • tabled

 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)