5

I'm very confused with prolog, it's way different to any language I've ever used (many languages) How do I go about getting argv[0] from:

current_prolog_flag(argv, Argv),
write(Argv).

Now if I tried to type Argv[0] or Argv(0) or Argv<0> it fails.. this leaves me with no clue and very little help from the documentation.. it seems that they expect you to already be a prolog expert :D

Another question, how would I assign Argv[0] to a variable so I can print it later using "write" ?

4

2 回答 2

6

Prolog uses matching.

?- current_prolog_flag(argv, [File | Rest]).
File = 'C:\\Program Files\\pl\\bin\\swipl-win.exe',
Rest = ['--win_app'].

This matches a list with a head and the tail:

[Head | Tail]

Head is the first element and Tail is the rest of the list.

To get the last element, use:

?- current_prolog_flag(argv, Argv), append(_, [Last], Argv).
Argv = ['C:\\Program Files\\pl\\bin\\swipl-win.exe', '--win_app'],
Last = '--win_app'

To get help about functions like append:

apropos(append).
于 2013-03-31T08:52:11.380 回答
2

You can use nth0 and nth1 (same as nth0, but starts counting elements from 1 instead of 0) predicates:

current_prolog_flag(argv, Argv),
nth0(0, Argv, Argument0), % get first argument
nth0(1, Argv, Argument1), % get second argument
write(Argument0).

Most often nth0(Index, List, Element) is used as follows:

% get element by index
nth0(1, [a, b, c, d], E) % E = b

% get index by element
nth0(I, [a, b, c, d], b) % I = 1

% enumerate elements with their corresponding indexes
List = [a, b, c, d],
forall(nth0(I, List, E), format('List[~w]=~w~n', [I, E])).
% example above prints    
List[0]=a
List[1]=b
List[2]=c
List[3]=d
于 2016-02-09T07:02:04.693 回答