SWI-Prolog
smnmnkr