SWI-Prolog
NobbZ