SWI-Prolog
koo5