Inhaltsübersicht.

• Programmierstile im Vergleich
• Logische Programmierung mit Prolog 
• Basiskonstrukte: Fakten, Regeln, Anfragen
• Von der Prädikatenlogik zur PROgrammierung in LOGik
• Datentypen und logische Konstrukte in Prolog
• Elementare Programmiertechniken
• Extralogische Konstrukte in Prolog und ihre Problematik
• Praktische Programmierung in Prolog
• Funktionale Programmierung mit ML 
• Grundelemente: Funktionen, Typen, Konstruktoren
• Vom l-Kalkül zur funktionalen Programmierung mit ML
• Datentypen und funktionale Konstrukte in ML
• Funktionen höherer Ordnung
• Praktische Programmierung in ML
• Logisch-funktionale Programmierung (Babel)

Literatur.
Logische Programmierung 

• H. Kleine Büning/s. Schmitgen: "Prolog". B.G. Teubner 1988
• F. Belli: "Einführung in die logische Programmierung mit Prolog". BI-Wissenschaftsverlag 1988 
• W.F. Clocksin, C.S. Mellish: "Programming in Prolog". Springer-Verlag 1994 
• M. Hanus: "Problemlösen mit Prolog". Teubner Verlag 1987 
• J.W. Lloyd: "Foundations of logic programming". Springer-Verlag 1993 
• U. Schöning: "Logik für Informatiker". Spektrum-Verlag 1995 

• R. Bird, P. Wadler: "Einführung in die funktionale Programmierung". Hanser Verlag 1992 
• B. Maclennan: "Functional programming: Practice and theory". Addison-Wesley 1989 
• L.C. Paulson: "ML for the working programmer". Cambridge Univ. Press 1996 
• P. Thiemann: "Grundlagen der funktionalen Programmierung". B.G. Teubner 1994
• A. Wikström: "Functional programming using standard ML". Prentice-Hall 1987 

Skriptum und Software. 

• s. hier