SWI-Prolog
mslazynski