SWI-Prolog
BJooze