SWI-Prolog
coldquartz121