use once to limit solutions instead of cut

This commit is contained in:
Skgland
2024-01-04 18:14:32 +01:00
committed by Bennet Bleßmann
parent e66e7c5034
commit ea0130d114

View File

@@ -138,9 +138,8 @@ argv(Argv) :-
can_be(list, Argv),
'$argv'(Argv0),
( member("--", Argv0) ->
append(Argv1, ["--"|Argv], Argv0),
\+ member("--", Argv1),
!
once(append(Argv1, ["--"|Argv], Argv0)),
\+ member("--", Argv1)
;
Argv = []
).