SWI-Prolog -- 'prolog_edit:locate'/3

Documentation
- Reference manual
  - Built-in Predicates
    - Editor Interface
      - Customizing the editor interface
        
        prolog_edit:locate/3
        
        prolog_edit:locate/2
        
        prolog_edit:edit_source/1
        
        prolog_edit:edit_command/2
        
        prolog_edit:load/0
- Packages

prolog_edit:locate(+Spec, -FullSpec, -Location)

Where Spec is the specification provided through edit/1. This multifile predicate is used to enumerate locations where an object satisfying the given Spec can be found. FullSpec is unified with the complete specification for the object. This distinction is used to allow for ambiguous specifications. For example, if Spec is an atom, which appears as the basename of a loaded file and as the name of a predicate, FullSpec will be bound to file(Path) or Name/Arity.

Location is a list of attributes of the location. Normally, this list will contain the term file(File) and, if available, the term line(Line).