# issue 820
args = ["-f", "--no-add-history", "-g", "test", "-g", "halt", "goals.pl"]