SWI-Prolog
turco90