Aufgaben Logische Programmierung

Bei der österreichischen Nationalratswahl 2008 hat die SPÖ 57 Mandate bekommen, die ÖVP
51, die FPÖ 34, das BZÖ 21 und die Grünen 20. Für die Bildung einer Mehrheitsregierung
musste eine Koalition mit insgesamt mindestens 92 Mandaten gebildet werden. Lassen Sie das
Programm nationalratswahl.pl mit der Anfrage
?- mehrheitsregierung(SPOe,OeVP,FPOe,BZOe,Gruene).
laufen! Lassen Sie sich dabei von Prolog alle Antworten ausgeben, indem Sie nach jeder Antwort
einen Strichpunkt eingeben! Erklären Sie, was die Ausgaben von Prolog in Bezug auf die anschließende
Regierungsbildung bedeuteten! Erklären Sie, was die im Prologprogramm definierten
Prädikate nullodereins/1 und mehrheitsregierung/5 bedeuten! Fügen Sie dem Programm
entsprechende Kommentare mit all diesen Erklärungen hinzu! Ändern Sie das Programm nun so
ab, dass Prolog anstatt 0 und 1 in den Antworten nein bzw. ja ausgibt!
Aufgabe 4 Fortbewegung von Tieren
Dateiname: tiere.pl
Drücken Sie die folgenden Aussagen über verschiedene Tiergruppen und ihre bevorzugten Fortbewegungsmethoden
in Form eines Prologprogramms aus:
1. Löwe, Rind, Wal und Fledermaus sind Säugetiere.
2. Star, Strauß und Wasseramsel sind Vögel.
3. Löwe, Rind und Strauß gehen gerne.
4. Forelle, Wasseramsel und Wal schwimmen gerne.
5. Fledermaus, Star und Wasseramsel fliegen gerne.
Fragen Sie Prolog
1. nach einem Säugetier, das gerne schwimmt
2. nach einem Vogel, der gerne fliegt
3. nach einem Vogel, der gerne fliegt und gerne schwimmt
Schreiben Sie diese Anfragen als Kommentare in das Programm hinein!
Aufgabe 5 Cliquen-Problem
Dateiname: clique.pl
Ein bekanntes schwieriges Problem der Informatik ist das Cliquenproblem. In einer Menge von
Personen gibt es einige Paare von miteinander befreundeten Personen. Eine Clique ist nun eine
Teilmenge von Personen, in der jede Person mit jeder anderen Person befreundet ist. Hier ein
Beispiel:
• Anton und Berta sind miteinander befreundet.
• Anton und Christa sind miteinander befreundet.
• Anton und Dora sind miteinander befreundet.
• Anton und Ernst sind miteinander befreundet.
• Berta und Dora sind miteinander befreundet.
• Berta und Ernst sind miteinander befreundet.
• Berta und Franz sind miteinander befreundet.
• Christa und Dora sind miteinander befreundet.
• Christa und Ernst sind miteinander befreundet.
• Dora und Ernst sind miteinander befreundet.
• Dora und Franz sind miteinander befreundet.
• Ernst und Franz sind miteinander befreundet.
2