Jan Wielemaker

JPL is since long bundled with the SWI-Prolog source and most binary distributions. And yes, recent versions run with JDK17 AFAIK.

Yip. You can basically just do safe_goal(Head), using the most generic head. If that succeeds it is whitelisted, but indeed if it fails it may work with specific arguments. This...

No. You only need to load library(sandbox).

I think is is better to make sure our infrastructure works. Note that the tarballs cannot be done as a github release as it contains both a (subset of) the...

If you have details I can try to figure out what was wrong.

Ok. Which requests do you do, how frequently and to which host? If possible, from which ip address?

Just a possibly stupid question: why don't you simply use git? That also allows people to install the current HEAD or even a specific hash, as well as any release...

Good :smile: Any plans to make swivm cross-platform? I had some discussion here with Wouter Beek about using conan to deal with the dependencies in a portable way. Should you...

An option and an environment variable providing the default seem ok to me. Frequent users will simply set the environment variable. Note that `git clone` takes the flag `--depth` to...

Deleting might work. This functionality is indeed something annoying and sometimes useful. The latter notably if you are doing serious things with SWISH and do not like to wait for...