Projekt 5 Prolog Programmieren mit Logik Eine vllig

  • Slides: 7
Download presentation
Projekt 5 Prolog - Programmieren mit Logik Eine völlig andere Art der Programmierung

Projekt 5 Prolog - Programmieren mit Logik Eine völlig andere Art der Programmierung

Projekt 5 Prolog - Programmieren mit Logik l Imperative Programmiersprachen l Deklarative Programmiersprache l

Projekt 5 Prolog - Programmieren mit Logik l Imperative Programmiersprachen l Deklarative Programmiersprache l Vorteile: l l l Viele Problemstellungen sind mit Prolog viel einfacher und kürzer zu lösen als mit imperativen Sprachen Der Weg zur Lösung eines Problems muss nicht vom Programmierer selbst gesucht werden Kurzer, übersichtlicher Programmtext

Projekt 5 Prolog - Programmieren mit Logik l Ein Beispiel l Differenzierung eines einfachen

Projekt 5 Prolog - Programmieren mit Logik l Ein Beispiel l Differenzierung eines einfachen Terms mit Prolog l Auf ähnliche Art und Weise sind viele Probleme zu lösen, die mit imperativen Sprachen weitaus schwerer zu bearbeiten sind

Projekt 5 Prolog - Programmieren mit Logik l Das Hauptprojekt Fahrplan-Auskunfts-System l l Erstellen

Projekt 5 Prolog - Programmieren mit Logik l Das Hauptprojekt Fahrplan-Auskunfts-System l l Erstellen eines Streckennetzes und Umsetzung in eine Datenbank Implementierung in Prolog

Projekt 5 Prolog - Programmieren mit Logik Das Streckennetz l l l 25 Zugverbindungen

Projekt 5 Prolog - Programmieren mit Logik Das Streckennetz l l l 25 Zugverbindungen ca. 1000 Zeilen Datenbasis Daten für Abfahrts-, Ankunftsort, Zeiten, Zugnummern

Projekt 5 Prolog - Programmieren mit Logik Die Implementierung l l l Backtracking Patternmatching

Projekt 5 Prolog - Programmieren mit Logik Die Implementierung l l l Backtracking Patternmatching Zuhilfenahme von imperativen Programmelementen für die Programmoberfläche

Projekt 5 Prolog - Programmieren mit Logik Die Gruppe Stefan Brackertz Daniel Feuerhake Johannes

Projekt 5 Prolog - Programmieren mit Logik Die Gruppe Stefan Brackertz Daniel Feuerhake Johannes Heuser Michael Holl Verena Marold Andrik Rieskamp Harald M. Otto