02.04.01. Beweis – magic(X).

Gegeben ist folgende Wissensbasis:

house_elf(dobby).
witch(hermione).
witch(mcGonagall).
witch(rita_skeeter).
wizard(goofy).
magic(X):-house_elf(X).
magic(X):-wizard(X).
magic(X):-witch(X).

Welche der folgenden Anfragen lassen sich beweisen und wie werden eventuelle Variablen belegt?
_{Für diese Aufgabe gibt es keine digitale Version, löse sie also bitte eigenständig.}

?- magic(house_elf).
?- wizard(harry).
?- magic(wizard).
?- magic(mcGonagall).
?- magic(Hermione).

Gib alle Lösungen für die 5. Anfrage (?- magic(Hermione).) in der Reihenfolge an, in der sie Prolog ausgeben würde

Zur Überprüfung der Aufgabe siehe rechts.

Anfrage:

?- magic(Hermione).

Zunächst solltest du dir selbständig überlegen, wie Prolog diese Anfrage Schritt für Schritt bearbeiten würde.
Gib alle Lösungen für die Anfrage in der Reihenfolge an, in der sie Prolog ausgeben würde.
Nutze dafür die Nummerierung der folgenden Antwortmöglichkeiten:

Hermione = dobby
Hermione = hermione
Hermione = mcGonagall
Hermione = rita_skeeter
Hermione = goofy

Beispiel: Wenn du also z.B. denkst, als Lösung würde Prolog erst ‚Hermione = dobby‘ und dann ‚Hermione = hermione‘ ausgeben, dann solltest du die Antwort ‚1, 2‘ wählen.

Übersicht Zurück Weiter Programmieren

02.04.01. Beweis – magic(X).

Anfrage:

Schreibe einen Kommentar Antworten abbrechen