 [semidet]stomp_transaction(+Connection, 
:Goal)
[semidet]stomp_transaction(+Connection, 
:Goal)SEND 
messages inside the transaction with the transaction id. If Goal 
fails or raises an exception the transaction is aborted. Failure or 
exceptions cause the transaction to be aborted using stomp_abort/2, 
after which the result is forwarded.