SWI-Prolog
gabe-rbo