Programmieren in Prolog

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