Split infinitives in Prolog