[Termtools] Re: SWI-Prolog on StarExec

Dear Etienne,

Does anybody specifically need this version? Would it be possible to upgrade to the latest stable release?

(you might better talk to Aaron Stump, though:) I guess no to both. StarExec is very conservative about environment and it wouldn't be up to user's need.

I recommend you to include all the external tools when uploading to StarExec. I understand this is important for reproducibility.

Best, Akihisa