SWI-Prolog
eduardo