SWI-Prolog
drspro