SWI-Prolog
mqrieck