SWI-Prolog
dehydrate