title: How write a rule to exit program in prolog?
body: <p>I want to write a rule to exit prolog but how can I do this?<br>
  What should I do so that I can exit the program? 
  I tried something like this 
  <code>do(exit):-halt</code>, but <code>halt</code> does not work.</p>