SWI-Prolog
wesket