make dependency on SWI-Prolog 7 explicit