Logische Algorithmen

Bei den logischen Algorithmen handelt es sich um ein deklaratives Programmierparadigma. Die logische Programmierung ist ähnlich wie die funktionale Programmierung. Es gibt keine schrittweise (=imperative) Abhandlung von Schritten. Logische Zusammenhänge werden in Form von Klauseln aufgestellt. Die logische Programmierung basiert auf Prädikatenlogik erster Stufe, im speziellen auf Hornlogik, auf welche in späteren Kapiteln genauer eingegangen wird. Die logische Programmierung wird in den Programmiersprachen Prolog und Answer Set Programming genutzt. In diesem Kurs betrachten wir die Programmiersprache Prolog.