SWI-Prolog
edmcman