n class="o">/</span><span class="m">2</span>).
type<span class="o">::</span>check(age, <span class="nv">Term</span>) <span class="o">:-</span>
    type<span class="o">::</span>check(between(non_negative_integer, <span class="m">0</span>, <span class="m">150</span>), <span class="nv">Term</span>).
</pre></div>
</div>
<p>Be careful to ensure that the new type definitions don’t introduce
spurious choice-points for these predicates. The unit tests of the
<code class="docutils literal notranslate"><span class=