SWI-Prolog
nmag