SWI-Prolog
xlii