Jupyter SWI Prolog