Update to use 'prologify' preprocessing.