Programmierpraktikum
    Programmieren in Logik - PROLOG

    --------------------------------------

    Hinweise zum Praktikumsbetrieb im WS 2000/2001        

      Ort und Zeit

      Montags, 8.30 s.t. - 10.00 Uhr,
      Raum 1221 (Stammgelände, 1. Stock)


      Allgemeine Hinweise

      1. Merkblatt   1 (16.10.2000)


      Aufgabenblätter

      1. Aufgabenblatt   1 (16.10.2000)
      2. Aufgabenblatt   2 (23.10.2000)
      3. Aufgabenblatt   3 (30.10.2000)
      4. Aufgabenblatt   4 (06.11.2000)
      5. Aufgabenblatt   5 (13.11.2000)
      6. Aufgabenblatt   6 (20.11.2000)
      7. Aufgabenblatt   7 (27.11.2000)
      8. Aufgabenblatt   8 (04.12.2000)
      9. Aufgabenblatt   9 (11.12.2000)
      10. Aufgabenblatt 10 (18.12.2000)
      11. Aufgabenblatt 11 (08.01.2001)
      12. Aufgabenblatt 12 (15.01.2001)
      13. Aufgabenblatt 13 (22.01.2001)
      14. Aufgabenblatt 14 (29.01.2001)



      Dokumentationen und Beschreibungen der verwendeten Werkzeuge

      Unterlagen zum verwendeten Prolog-System ECLiPSe
    1. Homepage von ECLiPSe
    2. Zum Betrieb in der SUN-Halle:
      Bedingt durch das Aufspielen einer neuen Solaris-Version fehlt zur Zeit leider eine der zum Betrieb von ECLiPSe-Prolog notwendigen Bibliotheken (libX11.so.6.0).
      Bis zur Behebung des Problems kann folgendes gemacht werden:
      Eine Kopie der Bibliothek liegt im Verzeichnis /usr/wiss/roemer/home_sun/lib. Dieser Pfad sollte in in den Suchpfad für Bibliotheken aufgenommen werden, bevor das Prolog-System aufgerufen wird (tcsh-syntax):
      setenv LD_LIBRARY_PATH /usr/wiss/roemer/home_sun/lib:$LD_LIBRARY_PATH
    3. ECLiPSe User Manual V3.5 (HTML)
    4. ECLiPSe-Befehlsübersicht der eingebauten Prädikate (aus Manual; HTML)
    5. ECLiPSe-Befehlsübersicht der eingebauten Prädikate (alphabetisch; HTML/doc)
    6. ECLiPSe-Befehlsübersicht der eingebauten Prädikate (nach Gruppen; HTML/doc)

      Andere Prolog-Systeme
    7. Falls jemand auch zu Hause mit Prolog arbeiten möchte (z.B. zum Lösen der Aufgaben), dann sollte SWI-Prolog in Betracht gezogen werden. SWI-Prolog ist u.a. für Linux (bei der SuSE-Distribution wird es standardmäßig mit ausgeliefert) und Windows erhältlich.
      Dieser Prolog-Interpreter unterstützt ebenfalls die im Buch von Clocksin/Mellish verwendete Syntax (ist aber nicht 100% kompatibel zu ECLiPSe, die Unterschiede sind aber im Rahmen des Praktikums nur an einigen wenigen Stellen relevant - falls Sie Ihre Aufgaben unter SWI-Prolog erstellen, vergewissern Sie sich bitte beim Heraufladen auf die SUN-Halle-Rechner, daß Ihre Programme dort unter ECLiPSe wie erwartet funktionieren).

    8. Literatur

      Das Praktikum folgt keinem bestimmten Lehrbuch. Zur Nachbearbeitung bzw. Vertiefung des Stoffes eignet sich jedes Textbuch über Prolog, von denen es zahlreiche gibt. Die nachfolgende Zusammenstellung führt einige von ihnen auf.

      [Apt97] K.R. Apt
      From Logic Programming to Prolog
      Prentice Hall, 1997
      [Bra86] I. Bratko
      Prolog Programming for Artificial Intelligence
      Addison-Wesley, 1986
      [CM94] William F. Clocksin, Christopher S. Mellish
      Programming in Prolog
      Fourth edition, Springer, 1994


                                                                  Schneemann

      --------------------------------------

      .. Zurück zur Hauptseite des Programmierpraktikums "Programmieren in Logik - PROLOG".
      This site is VIM powered Stefan Römer ( Last modification: 2000/10/12-10:47 )