To return the arguments that were typed on the command line following the command that invoked the current Prolog saved state (see ref-pro) use either of the following:
| ?- unix(argv(ArgList)). % mnemonic;vector
,value
| ?- unix(args(ArgList)). % mnemonic;string