Eine Einführung in das ECLiPSe System

Gesamtübersicht: Eine Einführung in das ECLiPSe System

• Einleitung
  • Zielsetzung


• Einführung in Prolog
  • Geschichte der logischen Programmierung
  • Programmierparadigmen
  • Das Prinzip von Prolog
  • Fakten
  • Variablen
  • Regeln
  • Listenverarbeitung
  • Arithmetik


• Einführung in CLP
  • Einleitung
  • Constraints
  • Constraint-Programmierung


• Das ECLiPSe System
  • Einleitung
  • Die FD Library von ECLiPse
  • Beispiel für CLP


• Suchstrategien
  • Einleitung
  • Constructive versus Move-Based Suchstrategien
  • Heuristik
  • Complete Tree Suche
  • Bounded Backtrack Suche
  • Credit Suche
  • Timeout Suche
  
  
• Fallbeispiel: Das Damenproblem als Veranschaulichung der Verwendung von Heuristik innerhalb von Suchstrategien
• Einleitung
• Lösung per Hand
• Ein ECLiPSe Programm zur Lösung
• Optimierung durch die Anwendung von Heuristiken


• Ressourcen
  • Literatur
  • Online
Nach oben

---

... [ Seminarthemen SS01 ] ... [ Folien zum Vortrag ] ... [ Download ] ... [ Einleitung ] ...

---