)
yes
</pre></div>
</div>
<p>Typically, the context is provided by calling the built-in <code class="docutils literal notranslate"><span class="pre">context/1</span></code>
method.</p>
</section>
<section id="defining-new-types">
<h2>Defining new types<a class="headerlink" href="#defining-new-types" title="Link to this heading"></a></h2>
<p>To define a custom type, define clauses for the multifile predicates
<code class="docutils literal notranslate"><span class="pre">type::type/1</span></code> (to decla