="p">,</span><span class="n">PList</span><span class="p">([</span><span class="mi">1</span><span class="p">,</span><span class="mi">2</span><span class="p">,</span><span class="mi">3</span><span class="p">]))</span><span class="o">.</span><span class="n">post_goal</span><span class="p">()</span> <span class="c1"># member(A_var,[1,2,3])</span>
<span class="c1"># Loop on all solution and print them.</span>
<span class="k">while</span> <span class="p">(</span><span class="n">resume</span><span class="p">()[</s