
| <span class="o">?-</span> type<span class="o">::</span>valid(positive_integer, <span class="o">-</span><span class="m">13</span>).
no
</pre></div>
</div>
<p>The <code class="docutils literal notranslate"><span class="pre">check/2</span></code> and <code class="docutils literal notranslate"><span class="pre">check/3</span></code> predicates throw an exception if a term
is not of a given type. For example:</p>
<div class="highlight-logtalk notranslate"><div class="highlight"><pre><span></span>| <span class