Vorlesungsskript
Techniken der Logikprogrammierung
François Bry
Diese Vorlesung hat folgende Ziele:
- eine praktische Einführung in die Logikprogrammierung
anzubieten;
- in die fortgeschrittene Programmierung in PROLOG einzuführen;
- die Technik des sogenannten Rapid Prototyping zu vermitteln;
- Methoden der künstlichen Intelligenz zu vermitteln.
Dieses Skript wird am besten mit einem der folgenden Browser dargestellt:
Netscape 6.0 oder höher
Mozilla 5.0 oder höher
Es besteht die Möglichkeit, verschiedene Versionen des Skripts anzuzeigen:
- Vollversion (umfasst den vollständigen Text)
- Folienpräsentation (Stichpunkte zur Präsentation in der Vorlesung)
Zwischen den Versionen kann man wechseln, indem man den Menüpunkt "Use Stylesheet" im Menü "View" anwählt
Mit älteren Browsern besteht nur die Möglichkeit, die Vollversion des Skripts anzuzeigen.
Sätze und Definitionen werden wie folgt dargestellt:
...
...
zum Inhaltsverzeichnis