Success: % eclipse hello world [eclipse]: argv(0,A0), argv(1,A1), argv(2,A2). A0 = "/usr/local/eclipse/bin/sun4/eclipse.exec" A1 = "hello" A2 = "world" yes. [eclipse]: argv(all, [_A0|Args]). Args = ["hello", "world"] yes. % eclipse -e "argv(all,[_|A]),writeq(A),nl" -- hello world ["hello", "world"] Error: argv(N,A). (Error 4). argv(1.0,A). (Error 5). argv(-1,A). (Error 6).