a <em>context</em> argument. For example:</p>
<div class="highlight-logtalk notranslate"><div class="highlight"><pre><span></span>| <span class="o">?-</span> <span class="k">catch</span>(type<span class="o">::</span>check(integer, abc, foo<span class="o">/</span><span class="m">3</span>), <span class="nv">Error</span>, <span class="k">true</span>).
<span class="nv">Error</span> <span class="o">=</span> error(<span class="k">type_error</span>(integer, abc), foo<span class="o">/</span><span class="m">3</span>