Eine Einführung in das ECLiPSe System
... [ Seminarthemen SS01 ] ... [ Inhaltsverzeichnis ] ... [ Einführung in Prolog ] ...
Einleitung
Zielsetzung
Die Zielsetzung dieses Seminares ist, dem Leser eine Einführung in die
CLP Plattform ECLiPSe zu geben. CLP ist die Abkürzung für Constraint Logic Programming,
also logische Programmierung mit Einschränkungen des Wertebereichs.
Bei ECLiPSe handelt es sich um eine logische Constraint-Programmiersprache, die
den vollen Umfang von Prolog umfaßt. Zusätzlich wird das Lösen von Gleichungen
über reelle Zahlen und aussagenlogischen Ausdrücken ermöglicht und Techniken zur effizienten
Lösung kombinatorischer Suchprobleme bereitgestellt.
Um auch dem unbedarften Leser einen Einstieg in dieses Thema zu ermöglichen,
wird im nächsten Kapitel eine kurze Einführung in Prolog erfolgen.
... [ Seminarthemen SS01 ] ... [ Einführung in Prolog ] ...