SWI-Prolog
kispu