SWI-Prolog
gekniesel