SWI-Prolog
dtonhofer