tcp_listener(
)
This predicate succeeds if the PassiveSocket argument is the socket identifier of a listener, or backtracks returning all passive socket identifiers if PassiveSocket is unbound.