% Einf. in das Symbolische Programmieren                 Di, 29.5.2001
%
% Anwesenheitsaufgabe 1
-----------------------
% Wir betrachten wieder unseren kreisfreien (= engl. acyclic) Graphen: 

kante(1,2).
kante(1,3).
kante(2,4).
kante(2,5).
kante(3,4).
kante(4,7).
kante(5,6).
kante(6,7).

% Veraendere die bisherige Definition des Praedikats weg(X,Y)
% (Prolog-Terminologie: das Praedikat weg/2) fuer Wege in einem 
% Graphen (G,kante), naemlich

% weg(X,Y) :- kante(X,Y).
% weg(X,Y) :- kante(X,Z), weg(Z,Y).

% so, dass es auch von jedem Punkt zu sich selbst einen Weg gibt 
% (unabhaengig davon, ob es Kanten gibt).

(Sollte nicht laenger als 5 Minuten dauern!)