% Prolog – Fehlerjagd
% Diese Datei enthält absichtlich mehrere Fehler.
% Ziel: Fehler finden, begründen und einzeln korrigieren.

istSpezielles(trapez,viereck)
istSpezielles(drache,viereck).
istSpezielles(raute, Drache).
istSpezielles(parallelogramm,trapez).
istSpezielles(raute,parallelogramm).
istSpezielles(gleichschenkligesTrapez,trapez).
istSpezielles(rechteck,parallelogramm).
istSpezielles(rechteck,gleichschenkligesTrapez).
istSpezielles(quadrat,rechteck).

istÜbergeordnetes(x,y) -:
    istSpezielles(y,x).

istÜberMehrereEbenenÜbergeordnetes(X,Y) :-
    istÜbergeordnetes(X,Y);
    istÜberMehrereEbenenÜbergeordnetes(X,Y).
