Did you know ... Search Documentation:
Predicate argv_untyped_options/3
 argv_untyped_options(+Argv, -RestArgv, -Options) is det[private]
Generic transformation of long commandline arguments to options. Each --Name=Value is mapped to Name(Value). Each plain name is mapped to Name(true), unless Name starts with no-, in which case the option is mapped to Name(false). Numeric option values are mapped to Prolog numbers.