Variante:

Prolog als erste Programmiersprache

Inhalt:

1. veränderte Reihenfolge der Themenbereiche
2. Gründe für diese Reihenfolge
3. Analogien zwischen dem Fix-Prolog-System und dem ETH Zürich Oberon

1. veränderte Reihenfolge der Themenbereiche
(am Hoffmann-von-Fallersleben-Gymnasium Weimar)

Im Klammern sind die nicht verbindliche Richtstundenzahlen lauf Lehrplan angegeben.
Im Schuljahr 1999/2000 habe ich für das Themengebiet "7.2 Einblick in das logik-orientierte Programmieren" beispielsweise 30 Unterrichtsstunden verwendet.
Folgende weitere Wahlthemenbereiche gibt es im Lehrplan für das Grundfach Informatik an Gymnasien:
7.1 Einblick in die Technische Informatik
7.3 Einblick in formale Sprachen

2. Gründe für die Programmiersprachenreihenfolge Prolog --> Pascal/Oberon

1. Prolog ist eine What-Type-Language, es muss also vom Programmierer nur möglichst genau beschrieben werden, was das Problem ist. Die Lösung des Problemes selbst übernehmen die in Prolog eingebauten Backtracking- und Unifikationsalgorithmen. Im Gegensatz dazu sind Pascal und Oberon How-Type-Languages. Hier muss neben der Definition der Anfangswertbedingungen auch präzise beschrieben werden, wie das Problem zu lösen ist. Man muss also als Programmierer (und Schüler) gleich zwei Aufgaben meistern:

Was ist vom Problem bekannt?
Wie soll das Problem gelöst werden?
 
2. In Prolog gibt es weitaus weniger vordefinierte "Pflichtsprachelemente" als in Pascal bzw. Oberon (wie zum BEGIN, VAR, END, ...).

 
3. Der Umstieg von Prolog zu Oberon bzw. Pascal fällt den Schülern leichter als umgekehrt. Das beobachteten ich und auch andere Autoren an den SchülerInnen. In den ersten beiden Informatik-Grundkursen, die ich leitete, habe ich meine schlechten Erfahrungen mit einem Umstieg von Pascal zu Prolog sammeln können.

 
4. Die unterschiedlichen Vorleistungen der Schüler werden beim Programmieren durch den Beginn mit der Programmiersprache Prolog nivelliert. Wer hat schon vor Beginn des Grundkurses Informatik privat Prolog kennengelernt. Die Programmierkurse in diversen Zeitschriften beziehen sich ebenso stets auf imperative oder objektorientierte Programmiersprachen.

 
5. Rückgriffe auf das im Themengebiet "Einblick in das logikorientierte Programmieren" sind später möglich (z.B.: Rekursion, Turm von Hanoi, ...).

 
6. Eine gute Ankopplung an den Themenbereich "Kommunikation in Netzen" gelingt durch den dort zu behandelnden Punkt "Onlinedatenbanken" und die Möglichkeit in Prolog recht einfach eine Datenbank aufbauen zu können.

3. Analogien Prolog <--> Oberon