SWI-Prolog
pbaille