SWI-Prolog
quenio