Emiting RplDomains to Prolog