public(<span class="o">+</span>operator_declaration)
</pre></div>
</div>
</section>
<section id="examples">
<h2>Examples<a class="headerlink" href="#examples" title="Link to this heading"></a></h2>
<div class="highlight-logtalk notranslate"><div class="highlight"><pre><span></span><span class="p">:- </span><span class="k">public</span>(ancestor<span class="o">/</span><span class="m">1</span>).

<span class="p">:- </span><span class="k">public</span>((instance<span class="o">/</span><span class="m">1</spa