SWI-Prolog
rryley