ublic static</span>&nbsp;<span class="returnType">void</span>&nbsp;<span class="memberName">halt</span>()</div>
<div class="deprecationBlock"><span class="deprecatedLabel">Deprecated.</span></div>
<div class="block">Terminates the Prolog session.
 <p>

 <b>Note.</b> This method calls the FLI halt() method with a status of 0,
 but the halt method currently is a no-op in SWI.</div>
</section>
</li>
<li class="blockList">
<section class="detail">
<h3><a id="version()">version</a></h3>
<div class="memberSignatu