Logik-basiertes Programmieren

Dieser Kurs-Entwurf beschäftigt sich mit der Einführung in Logik-basiertes Programmieren mit Prolog und wurde von Christian Wagenknecht entwickelt. Die Inhalte wurden von einem früheren Hochschulkurs ins ProgrammingWiki portiert und sind noch nicht überall vollständig.

Inhalte

• Grundlagen
• Einführungsbeispiele
• Listen
• Cut
• Programmiertechniken
• Definite Clause Grammars
• Prädikatenlogik
• Theoretische Grundlagen
• Unifikation
• Parser
• Abstrakte Automaten
• Literatur
• Wichtige Links