SWI-Prolog
JAB