diff --git a/eye.py b/eye.py index 4c8ed43..eb3d8cf 100644 --- a/eye.py +++ b/eye.py @@ -52,7 +52,7 @@ def cleanup(self) -> None: def serialize_command(self) -> str: return ( - ["swipl", "-x", "/usr/local/lib/eye.pvm", "--"] + ["swipl", "--stack-limit=8G", "-x", "/usr/local/lib/eye.pvm", "--"] + self.data + self.temp_files + [v for file in self.queries for v in ("--query", file)]