SWI-Prolog
dmchurch