ioctl prolog addons