Towards Putting Abstract Interpretation of Prolog into Practice, Fachbücher von François Gobert

Das Buch "Towards Putting Abstract Interpretation of Prolog into Practice" von François Gobert bietet eine umfassende Untersuchung der Herausforderungen und Lösungen im Bereich der logischen Programmierung mit Prolog. Es beleuchtet die Diskrepanz zwischen der deklarativen und operativen Natur von Prolog und die damit verbundenen Effizienzprobleme. Die Arbeit präsentiert ein neuartiges Rahmenwerk zur abstrakten Interpretation von Prolog, das moderne Techniken integriert, um die operationalen Eigenschaften von logischen Prozeduren zu verifizieren. Zu den behandelten Themen gehören Typen, Modi, Termteilung, Beweisführung der Termination sowie lineare Beziehungen zwischen der Grösse von Eingabe- und Ausgabetermen und der Anzahl der Lösungen. Darüber hinaus wird ein Optimierer entwickelt, der spezialisierte Code generiert und dabei sicherstellt, dass Quell-zu-Quell-Transformationen effizient angewendet werden. Diese Transformationen umfassen unter anderem die Umordnung von Klauseln und Literalen sowie die Einführung von Cuts und die Entfernung redundanter Literale.