Prolog Übung
zur Vorlesung Logik in der Informatik
Aktuelles
-
Beachten Sie: Für die Nutzung der Rechner der RBG in der Übung, wie auch für den Zugang des Referenzrechners, ist zwingend (seit diesem Semester) ein Informatik-Account notwendig (hier rechtzeitig beantragen). Ein Zugang mittels CMS-Account ist nicht mehr möglich.
- Die Prolog-Übung findet erstmalig in der zweiten Woche der Vorlesungszeit statt, also am 21.10.25 bzw. 23.10.25.
Literatur
| [BBS] | Patrick Blackburn, Johan Bos, Kristina Striegnitz, Learn PROLOG Now!. Kings College Publications, 2006. Online version. |
| [SS] | Ehud Shapiro, Leon Sterling, The Art of PROLOG: Advanced Programming Techniques. 2nd Edition, MIT Press, 1994. |
Programmierressourcen
SWI-Prolog. Eine Kurzanleitung für den Einstieg in SWI-Prolog.