Result of GNU-Prolog:

subsender can send message subscribe to subs
subreceiver is able to create cert(subreceiver,null,perm(receiver,receive),null,-1,-1) and to send it to subs
subreceiver can send message subscribe to subs
subs is able to create cert(subs,null,perm(fors,forward),null,-1,-1) and to send it to subsender
subs can send message subscriptionConfirmation to subsender
subsender can send cert(subs,null,perm(fors,forward),null,-1,-1) to sender
subsender can send message create to sender
sender can send message forward to fors
fors can send message checkLogin to subs
fors can send message checkLogin to subs
subs can send cert(subreceiver,null,perm(receiver,receive),null,-1,-1) to fors
subs can send message true to fors
subreceiver can send message create to receiver
fors can send message receive to receiver


Result of GNU-Prolog for Java

subsender can send message subscribe to subs
subreceiver is able to create cert(subreceiver,null,perm(receiver,receive),null,-1,-1) and to send it to subs
subreceiver can send message subscribe to subs
subs is able to create cert(subs,null,perm(fors,forward),null,-1,-1) and to send it to subsender
subs can send message subscriptionConfirmation to subsender
ERROR: subsender is not able to send cert(subs,null,perm(fors,forward),null,-1,-1) to sender
subsender can send message create to sender
ERROR: sender can not send message forward to fors
fors can send message checkLogin to subs
fors can send message checkLogin to subs
ERROR: subs is not able to send cert(subreceiver,null,perm(receiver,receive),null,-1,-1) to fors
subs can send message true to fors
subreceiver can send message create to receiver
ERROR: fors can not send message receive to receiver