2024 W: Fortgeschrittene logische Programmierung 185.A25

• Ehemals:
  • 185.209 VL 2 Fortgeschrittene logikorientierte Programmierung
  • 185.988 VO 1 Prolog und logikorientierte Programmierung
  • 185.015 LU 2 Prolog und logikorientierte 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 11.12.2024, 16h EA0420 Bibliothek
• 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 2024S, 2022W.