SWI-Prolog
apfadler