todo
todo
Gerichteter Graph mit 7 Knoten und zweizeiliges Programm um Menge der erreichbaren Knoten von einem gefärbten Startknoten zu berechnen.
Gerichteter Graph mit 8 Knoten und zweizeiliges Programm um den transitiven Abschluß der Kantenrelation zu berechnen zu berechnen.
Gefärbter, ungordneter Baum aus dem Beispiel im mDatalog-Paper.Achtung! Damit Labeling excluiv bleiben den Hacken beim Färben nicht entfernen!
Gefärbter, gordneter Baum aus dem Beispiel im mDatalog-Paper.Achtung! Im Gegensatz zum Paper wird hier nicht die Exclusivität einer Farbe verlangt!
Ahnenbaum nach Wikipedia [27.03.13] und klassisches Vorfahrenprogramm.