SWI-Prolog
ppowell