Logische Programmierung

Benutzen des Prolog Systems
WWW Seite über logisches Programmieren mit einer Datenbank von 1000 Prolog Anwendungen.
Frequently Asked Questions der Newsgruppe comp.lang.prolog.
Im Emacs gibt es ein Online-Handbuch für Sicstus-Prolog. Im Hilfesystem (starten durch Crtl-h i) zuerst g und anschließend (/home/stud/abdelwaheb/info/sicstus2.1) eingeben.

Starten des Prologsystems.

  cip48 [13:30] 1 ~ -> sicstus
  SICStus 2.1 #6: Fri Nov 6 11:19:25 MET 1992
  | ?-

Laden der Datei datei.pl.

  | ?- [datei].

oder

  | ?- ['datei.pl'].

Verlassen des Prologsystems entweder mit Ctrl-d oder der Anfrage

  | ?- halt.

Für Emacs-Benutzer (emacs -u abdu oder kopieren der .emacs Datei aus /home/stud/abdelwaheb):

Lade die Datei datei.pl (Endung .pl wichtig). Starten von Prolog und Laden der Datei mit Ctrl-c C.

Part of Vorlesung

February 25, 1997