SWI-Prolog
jose.de.siqueira