Logik-basiertes Programmieren

Wiki-Quelltext dieser Seite.

Dieser Kurs-Entwurf beschäftigt sich mit der Einführung in Logik-basiertes Programmieren mit Prolog und wurde von [http://www.inf.hs-zigr.de/~wagenkn/ Christian Wagenknecht] entwickelt. Die Inhalte wurden von einem früheren Hochschulkurs ins ProgrammingWiki portiert und sind noch nicht überall vollständig.

==Inhalte==

*[[LbP_Grundlagen|Grundlagen]]
*[[LbP_Einführungsbeispiele|Einführungsbeispiele]]
*[[LbP_Listen|Listen]]
*[[LbP_Cut|Cut]]
*[[LbP_Programmiertechniken|Programmiertechniken]]
*[[LbP_Definite Clause Grammars|Definite Clause Grammars]]
*[[LbP_Prädikatenlogik|Prädikatenlogik]]
*[[LbP_Theoretische Grundlagen|Theoretische Grundlagen]]
*[[LbP_Unifikation|Unifikation]]
*[[LbP_Parser|Parser]]
*[[LbP_Abstrakte Automaten|Abstrakte Automaten]]
*[[LbP_Literatur|Literatur]]
*[[LbP_Wichtige Links|Wichtige Links]]