SWI-Prolog
firefrorefiddle