Availability:built-in
leash(?Ports)Set/query leashing (ports which allow for user interaction). Ports
is one of +Name, -Name, ?Name or a list
of these.
+Name enables leashing on that port, -Name
disables it and
?Name succeeds or fails according to the current setting.
Recognised ports are 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.