s="highlight-logtalk notranslate"><div class="highlight"><pre><span></span><span class="k">threaded_once</span>(<span class="m">0</span>)
<span class="k">threaded_once</span>(<span class="m">0</span>, <span class="o">*</span>)
</pre></div>
</div>
</section>
<section id="modes-and-number-of-proofs">
<h2>Modes and number of proofs<a class="headerlink" href="#modes-and-number-of-proofs" title="Link to this heading"></a></h2>
<div class="highlight-logtalk notranslate"><div class="highlight"><pre><span></span