SWI-Prolog
nick