Beenden von SICStus-PROLOG

  1. Voraussetzung: laufendes SICStus-PROLOG auf einem SUN Rechner (§2.2.4).
  2. Beim PROLOG Prompt, den 0-stelligen Prädikat ``halt'' abfragen:
    SICStus 3.8 (sparc-solaris-2): Feb 16 12:48 2000
    Licensed to ling.uni-potsdam.de
    $\vdots$
    | ?- halt. \fbox{$\hookleftarrow$}


Bryan Jurish
Fri Dec 1 23:18:36 CET 2000