SWI Prolog is in CVS.