Programming in Prolog

Ursprünglich 1981 veröffentlicht, war dies das erste Lehrbuch über Programmierung in der Prolog-Sprache und ist nach wie vor der massgebliche Einführungstext zu Prolog. Obwohl seitdem viele Prolog-Lehrbücher veröffentlicht wurden, hat sich dieses aufgrund seiner umfassenden Darstellung, seines didaktischen Ansatzes und der Betonung allgemeiner Programmieranwendungen bewährt. Prolog hat weiterhin grosses Interesse in der Informatik-Community geweckt und sich als Grundlage für eine wichtige neue Generation von Programmiersprachen und Systemen für künstliche Intelligenz erwiesen. Seit der vorherigen Auflage von "Programming in Prolog" wurde die Sprache von der International Organization for Standardization (ISO) standardisiert, und dieses Buch wurde entsprechend aktualisiert. Die Autoren haben zudem neues Material eingeführt, einige Erklärungen präzisiert, eine Reihe kleiner Fehler korrigiert und Wiederholungen entfernt.