SWI-Prolog
MartyStache