[Termtools] SWI-Prolog on StarExec