SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Now