Dieses kompakte Buch führt systematisch in die logische Programmierung ein, indem es komplexe Konzepte wie Prädikatenlogik und Herbrand‑Modelle anhand von anschaulichen Beispielen erklärt und mit praktischen Übungen zur Anwendung anregt.