Alle Wege führen nach...

Alle Wege führen nach Rom? Eulen nach Athen tragen? Für Prolog heißt diese Stadt Marseille. Dort erblickte Anfang der 1970er-Jahre Prolog und damit die Logikorientierte Programmierung durch Alain Colmerauer das Licht der Welt. Ein Jahrzehnt später nahm die nächste Neuerung (Constraintlogische Programmierung) wieder diese Stadt zu ihrem Ausgangspunkt.

In dieser Lehrveranstaltung befassen wir uns mit beiden Richtungen.

[logprog|GUPU|UWN]