SWI-Prolog
kilian