"line"><strong>Template:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">pred_info(Name,Arity,HiddenParameters)</span></code></div>
</div>
<div class="line"><strong>Mode and number of proofs:</strong></div>
<div class="line-block">
<div class="line"><code class="docutils literal notranslate"><span class="pre">pred_info(?atom,?integer,?list(atom))</span></code> - <code class="docutils literal notranslate"><span class="pre">zero_or_more</s