When execution is paused on a leashed port, the docs here say you can use a command called “Find” (
Search for a port. After the‘/’, the user can enter a line to specify the port to search for. This line consists of a set of letters indicating the port type, followed by an optional term, that should unify with the goal run by the port. If no term is specified it is taken as a variable, searching for any port of the specified type. If an atom is given, any goal whose functor has a name equal to that atom matches.
Where is it “searching”? Is it saying you can “search” for a port by continuing execution until you hit a port that matches the search you specify? Playing around with the feature didn’t help clarify it…