Kurs in Logischer Programmierung

Das Buch ist eine Einführung in die logische Programmierung in der Form eines Kurses, in dem die Grundlagen der logischen Programmierung, die logische Programmiersprache Prolog und ihre Programmierpraxis, sowie einige Anwendungen vorgestellt werden. Anschließend werden die Erweiterungen vorgestellt, die Prolog zur vollen Programmiersprache machen.