2025 W: Advanced Logic Programming 194.197 VU 4.0

• 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.12.2025, 16h EA0420 complang-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.