Prolog part of service client and topic listener; computable definition