SWI Prolog is gone from F13 and F14