3.4.3.1 Finding your way around
The command Alt-.
extracts name and arity from the caret
location and jumps (after conformation or edit) to the definition of the
predicate. It does so based on the source-location database of loaded
predicates also used by edit/1.
This makes locating predicates reliable if all sources are loaded and
up-to-date (see make/0).
In addition, references to files in use_module/[1,2], consult/1, etc. are red if the file cannot be found and underlined blue if the file can be loaded. A popup allows for opening the referenced file.