SWI-Prolog
WSWZhh