- Ehemals:
- 185.209
VL 2
Fortgeschrittene logikorientierte Programmierung
- 185.988
VO 1
Prolog und logikorientierte Programmierung
- 185.015
LU 2 Prolog und logikorientierte
Programmierung
- 185.A25
Fortgeschrittene logische Programmierung
- aufbauend auf Logikprogrammierung und Constraints
- 185.209 VL : Prüfungsfach 937 Software Engineering/Internet
Computing, Wahlfach 931 Computational Intelligence
- 185.988 VO, 185.015 LU: Wahlfach im alten Studienplan Informatik 881
- Vorbesprechung/Beginn: Im Anschluß an logprog,
Mittwoch 3.6.2026, 16h EI2
- Termine: voraussichtlich Mi, 16-19h im complang-Labor
- Mündliche Prüfung im Anschluß
- Übungsbeispiele werden weiter fortgesetzt.
- Unterlagen
- externer Zugang
- Lambda-Ausdrücke,
Vortragsfolien
- Monotone
Verzweigungen, Indexing dif/2
- ISO Prolog,
- Empfehlenswerte Literatur: PNLA
- Zusätzliche Informationen
- Alte Aushänge
2025W,
2024S,
2022W.
Ulrich Neumerkel