SWI-Prolog
shonfeder