SWI-Prolog
kharu5