SWI-Prolog
a1jrj