SWI-Prolog
pkoch