| Did you know ... | Search Documentation: |
 | Predicate leash/1 |
leash(?Ports)
call, redo, exit, fail
and
unify. The special shorthand all refers to all
ports,
full refers to all ports except for the unify port
(default).
half refers to the call, redo and fail
port.
1 
leash(-all) will give you an exhaustive trace, in effect automatically entering "creep" for you everywhere. This can be useful when you're looking for an unexpected failure, or when the backtrace from an exception doesn't give you enough information. 0 