args = ["-f", "--no-add-history", "src/tests/ground.pl", "-f", "-g", "main_quiet"]