SWI-Prolog
andrewpivo