Executable specification of IPCon in Prolog