 + 1</span>
<span class="n">resume</span><span class="p">()</span>
<span class="nb">print</span><span class="p">(</span><span class="n">A_var</span><span class="p">,</span><span class="n">B_var</span><span class="p">)</span>
<span class="n">cleanup</span><span class="p">()</span>                                           <span class="c1">#Shutdown ECLiPSe engine</span>
</pre></div>
</div>
</section>
<section id="input-example">
<h2>Input Example<a class="headerlink" href="#input-example" title="Link to this