SWI-Prolog is what I use