ss="nv">Arity</span>, ...])

use_module(<span class="nv">Module</span>, [<span class="nv">Predicate</span> <span class="o">as</span> <span class="nv">Alias</span>, ...])

use_module(<span class="nv">Module</span>, [<span class="nv">Name</span><span class="o">//</span><span class="nv">Arity</span>, ...])
use_module(<span class="nv">Module</span>, [<span class="nv">Name</span><span class="o">//</span><span class="nv">Arity</span> <span class="o">as</span> <span class="nv">Alias</span><span class="o">//</span>