><span class="s2">&quot;read&quot;</span><span class="p">,</span><span class="n">A_var</span><span class="p">)</span><span class="o">.</span><span class="n">post_goal</span><span class="p">()</span>   <span class="c1"># read(A)</span>
<span class="n">Compound</span><span class="p">(</span><span class="s2">&quot;writeln&quot;</span><span class="p">,</span><span class="n">A_var</span><span class="p">)</span><span class="o">.</span><span class="n">post_goal</span><span class="p">()</span> <span class="c1"># wr