Did you know ... Search Documentation:
Predicate explain/1
 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
Tags are associated to your profile if you are logged in
Tags: