SWI-Prolog
maga33