Hi,
uns Leher für Informatik hat und diese Aufgabe gestellt:
http://www.hajoinbergen.de/Projekt.htm
dort muss man nur mit regeln die untenstehenden Prädikate herstellen.
Die folgenden Ergebnisse habe ich bereits (alle Ergebnisse auf Wunsch eines einzelnen Herrens *zwinker zwinker Rudy* ;D):
Vorraussetzungen:
elternpaar(adam, jana, ali).
elternpaar(adam, jana, bert).
elternpaar(peter, petra, berta).
elternpaar(peter, petra, alf).
elternpaar(frank, franka, carl).
elternpaar(gerd, gerda, carla).
elternpaar(gerd, gerda, ulf).
elternpaar(bert, berta, eva).
elternpaar(bert, berta, hans).
elternpaar(carl, carla, britta).
elternpaar(carl, carla, elvis).
elternpaar(hans, britta, hanna).
elternpaar(hans, britta, leo).
Lösungen:
vater(X,Z):-elternpaar(X,Y,Z).
mutter(Y,Z):-elternpaar(X,Y,Z).
kind(Z,X,Y):-elternpaar(X,Y,Z).
oma(X,Z):-mutter(X,Y),mutter(Y,Z).
oma(X,Z):-mutter(X,Y),vater(Y,Z).
opa(X,Z):-vater(X,Y),mutter(Y,Z).
opa(X,Z):-vater(X,Y),vater(Y,Z).
enkel(Z,X):-oma(X,Z);opa(X,Z).
uroma(X,Z):-mutter(X,Y),oma(Y,Z).
uroma(X,Z):-mutter(X,Y),opa(Y,Z).
uropa(X,Z):-vater(X,Y),oma(Y,Z).
uropa(X,Z):-vater(X,Y),opa(Y,Z).
schwiegermutter(X,V):-mutter(X,Y),elternpaar(Y,V,Z).
schwiegermutter(X,V):-mutter(X,Y),elternpaar(V,Y,Z).
schwiegervater(X,V):-vater(X,Y),elternpaar(Y,V,Z).
schwiegervater(X,V):-vater(X,Y),elternpaar(V,Y,Z).
aber ich hänge bei „Bruder“ und „Schwester“
fest, weil mir dafür keine passenden Regeln einfallen. Kann mir einer
helfen? Den Rest schaff ich dann auch allein.
mfg Mr.X