SWI-Prolog
philzook58