Dieser Kurs beschäftigt sich mit den mathematischen und logischen Grundlagen der Logik-Programmierung. Dabei geht es uns vor allem darum, die zentralen Ideen und Konzepte herauszustellen und den Zugang zu diesem wichtigen Gebiet der Informatik nicht durch unnötige technische Details zu erschweren. Ausgehend von beweistehoretischen und modelltheoretischen Methoden möchten wir die wesentlichen Aspekte der modernen Logik-Programmierung → mehr…