SWI-Prolog
jasper