SWI-Prolog
danielb