</span><span class="o">.</span><span class="n">post_goal</span><span class="p">()</span>                   <span class="c1"># Post fail for backtracking over solutions</span>

<span class="n">cleanup</span><span class="p">()</span>                                      <span class="c1"># Shutdown ECLiPSe engine</span>
</pre></div>
</div>
</section>
<section id="cut-example">
<span id="id1"></span><h2>Cut Example<a class="headerlink" href="#cut-example" title="Link to this heading">¶</a></h2>
<p>How to cut s