SWI-Prolog
GeoffChurch