SWI-Prolog
Steve20vt