prolog::substitute/4

(undocumented)

Private-func:

1. prolog::substitute_4::substitute/4(int ARG1, int ARG2, int ARG3, int ARG4)():