[det]explain(@Term)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