ss="highlight-logtalk notranslate"><div class="highlight"><pre><span></span><span class="k">threaded_once</span>(<span class="nv">Goal</span>)
<span class="k">threaded_once</span>(<span class="nv">Goal</span>, <span class="nv">Tag</span>)
</pre></div>
</div>
<p>Proves <code class="docutils literal notranslate"><span class="pre">Goal</span></code> asynchronously using a new thread. Only the first goal
solution is found. The argument can be a message-sending goal. This call
always succeeds. The result (succes