>,<span class="m">125</span>,<span class="m">10</span>]
yes
</pre></div>
</div>
<p>Alternatively:</p>
<div class="highlight-logtalk notranslate"><div class="highlight"><pre><span></span>| <span class="o">?-</span> json_lines<span class="o">::</span>generate(chars(<span class="nv">Encoding</span>), [a,<span class="k">{</span>b<span class="o">-</span>c<span class="k">}</span>]).
<span class="nv">Encoding</span> <span class="o">=</span> [<span class="s">&#39;&quot;&#39;</span>,a,<span class="s">&#39;&quot;&#39