 Term in the array.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>varnames_to_Terms</code> - a Map from variable names to Terms (what each variable string is to be replaced by)</dd>
<dd><code>vars_to_Vars</code> - a Map from Prolog variables (which may be bounded in the engine) to JPL Variables (which are Java objects)</dd>
<dd><code>args</code> - an array of Terms to which the substitution is to be applied</dd>
</dl>
</section>
</li>
<li class="blockList">
<section class="detail