Programmieren in Prolog

Prolog, die wohl bedeutendste Programmiersprache der Kunstlichen Intelligenz, hat eine einzigartige Verbreitung und Beliebtheit erreicht und gilt als Basis fur eine ganze neue Generation von Programmiersprachen und -systemen. Der vorliegenden deutschen Ubersetzung des Standardwerks Programming in Prolog liegt die dritte Auflage der englischen Fassung zugrunde. Das Buch ist sowohl Lehrbuch als auch Nachschlagewerk und fur alle geeignet, die Prolog als Programmiersprache fur die Praxis erlernen und benutzen wollen. Zahlreiche Beispiele zeigen, wie nutzliche Programme mit heutigen Prolog-Systemen geschrieben werden konnen. Die Autoren konzentrieren sich auf den "e;Kern"e; von Prolog; alle Beispiele entsprechen diesem Standard und laufen auf den verbreitetsten Prolog-Implementierungen. Zu einigen Implementierungen sind im Anhang Hinweise auf Besonderheiten enthalten.