prolog::path_arg/3¶

path_arg( +Path , +Term, -Arg )*

Succeeds if Path is empty and Arg unifies with _Term, or if Path is a list with Head and Tail, genarg//33 succeeds on the current term, and path_arg//33 succeeds on its argument.

Notice that it can be used to enumerate all possible paths in a term.

Private-func:¶

1. prolog::path_arg_3::path_arg/3(int ARG1, int ARG2, int ARG3)():