|Did you know ...||Search Documentation:|
:- use_module(library(stomp)).(can be autoloaded)
SENDmessages 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.