pce_portray.pl

 user:prolog_predicate_name(:Goal, -Name:atom) is semidet[multifile]

Hook used by the Prolog graphical tracer to display the frames in the stack.

 user:prolog_clause_name(+ClauseRef, -Name)[multifile]

Translate the reference to a method-clause into the corresponding method.