CALL:(1) cesta / 2
             1
             H216
   CALL:(1) spoj / 2
               1
               H216
     CALL:(1) hrana / 2
                 1
                 4
     EXIT:(0) hrana / 2
                 1
                 4
   EXIT:(0) spoj / 2
               1
               4
 EXIT:(0) cesta / 2
             1
             4
     FAIL:(0) hrana / 2
                 1
                 4
     REDO:(2) hrana / 2
                 1
                 5
     EXIT:(0) hrana / 2
                 1
                 5
   EXIT:(0) spoj / 2
               1
               5
 EXIT:(0) cesta / 2
             1
             5
     FAIL:(0) hrana / 2
                 1
                 5
   FAIL:(0) spoj / 2
               1
               H216
 FAIL:(0) cesta / 2
             1
             H216
 REDO:(2) cesta / 2
             1
             H216
   CALL:(1) spoj / 2
               1
               H271
     CALL:(1) hrana / 2
                 1
                 4
     EXIT:(0) hrana / 2
                 1
                 4
   EXIT:(0) spoj / 2
               1
               4
   CALL:(1) cesta / 2
               4
               H216
     CALL:(1) spoj / 2
                 4
                 H216
       CALL:(8) hrana / 2
                   4
                   5
       EXIT:(0) hrana / 2
                   4
                   5
     EXIT:(0) spoj / 2
                 4
                 5
   EXIT:(0) cesta / 2
               4
               5
 EXIT:(0) cesta / 2
             1
             5
       FAIL:(0) hrana / 2
                   4
                   5
     FAIL:(0) spoj / 2
                 4
                 H216
   FAIL:(0) cesta / 2
               4
               H216
   REDO:(2) cesta / 2      <--- Tady se po neuspechu v cesta(C, B) pokracuje pravidlem cesta(A, B) :- spoj(A, C), cesta(C, B). Tj. je to prvni zanoreni rekurze.
               4
               H216
     CALL:(1) spoj / 2
                 4
                 H446
       CALL:(8) hrana / 2
                   4
                   5
       EXIT:(0) hrana / 2
                   4
                   5
     EXIT:(0) spoj / 2
                 4
                 5
     CALL:(1) cesta / 2
                 5
                 H216
       CALL:(1) spoj / 2
                   5
                   H216
         CALL:(0) hrana / 2
                     5
                     H216
         FAIL:(0) hrana / 2
                     5
                     H216
       FAIL:(0) spoj / 2
                   5
                   H216
     FAIL:(0) cesta / 2
                 5
                 H216
     REDO:(2) cesta / 2
                 5
                 H216
       CALL:(1) spoj / 2
                   5
                   H621
         CALL:(0) hrana / 2
                     5
                     H621
         FAIL:(0) hrana / 2
                     5
                     H621
       FAIL:(0) spoj / 2
                   5
                   H621
     FAIL:(0) cesta / 2
                 5
                 H216
       FAIL:(0) hrana / 2
                   4
                   5
     FAIL:(0) spoj / 2
                 4
                 H446
   FAIL:(0) cesta / 2
               4
               H216
     FAIL:(0) hrana / 2
                 1
                 4
     REDO:(2) hrana / 2
                 1
                 5
     EXIT:(0) hrana / 2
                 1
                 5
   EXIT:(0) spoj / 2
               1
               5
   CALL:(1) cesta / 2
               5
               H216
     CALL:(1) spoj / 2
                 5
                 H216
       CALL:(0) hrana / 2
                   5
                   H216
       FAIL:(0) hrana / 2
                   5
                   H216
     FAIL:(0) spoj / 2
                 5
                 H216
   FAIL:(0) cesta / 2
               5
               H216
   REDO:(2) cesta / 2
               5
               H216
     CALL:(1) spoj / 2
                 5
                 H444
       CALL:(0) hrana / 2
                   5
                   H444
       FAIL:(0) hrana / 2
                   5
                   H444
     FAIL:(0) spoj / 2
                 5
                 H444
   FAIL:(0) cesta / 2
               5
               H216
     FAIL:(0) hrana / 2
                 1
                 5
   FAIL:(0) spoj / 2
               1
               H271
 CALL:(1) cesta / 2
             1
             H216
   CALL:(1) spoj / 2
               1
               H216
     CALL:(1) hrana / 2
                 1
                 4
     EXIT:(0) hrana / 2
                 1
                 4
   EXIT:(0) spoj / 2
               1
               4
 EXIT:(0) cesta / 2
             1
             4
     FAIL:(0) hrana / 2
                 1
                 4
     REDO:(2) hrana / 2
                 1
                 5
     EXIT:(0) hrana / 2
                 1
                 5
   EXIT:(0) spoj / 2
               1
               5
 EXIT:(0) cesta / 2
             1
             5
     FAIL:(0) hrana / 2
                 1
                 5
   FAIL:(0) spoj / 2
               1
               H216
 FAIL:(0) cesta / 2
             1
             H216
 REDO:(2) cesta / 2
             1
             H216
   CALL:(1) spoj / 2
               1
               H271
     CALL:(1) hrana / 2
                 1
                 4
     EXIT:(0) hrana / 2
                 1
                 4
   EXIT:(0) spoj / 2
               1
               4
   CALL:(1) cesta / 2
               4
               H216
     CALL:(1) spoj / 2
                 4
                 H216
       CALL:(8) hrana / 2
                   4
                   5
       EXIT:(0) hrana / 2
                   4
                   5
     EXIT:(0) spoj / 2
                 4
                 5
   EXIT:(0) cesta / 2
               4
               5
 EXIT:(0) cesta / 2
             1
             5
       FAIL:(0) hrana / 2
                   4
                   5
     FAIL:(0) spoj / 2
                 4
                 H216
   FAIL:(0) cesta / 2
               4
               H216
   REDO:(2) cesta / 2
               4
               H216
     CALL:(1) spoj / 2
                 4
                 H446
       CALL:(8) hrana / 2
                   4
                   5
       EXIT:(0) hrana / 2
                   4
                   5
     EXIT:(0) spoj / 2
                 4
                 5
     CALL:(1) cesta / 2
                 5
                 H216
       CALL:(1) spoj / 2
                   5
                   H216
         CALL:(0) hrana / 2
                     5
                     H216
         FAIL:(0) hrana / 2
                     5
                     H216
       FAIL:(0) spoj / 2
                   5
                   H216
     FAIL:(0) cesta / 2
                 5
                 H216
     REDO:(2) cesta / 2
                 5
                 H216
       CALL:(1) spoj / 2
                   5
                   H621
         CALL:(0) hrana / 2
                     5
                     H621
         FAIL:(0) hrana / 2
                     5
                     H621
       FAIL:(0) spoj / 2
                   5
                   H621
     FAIL:(0) cesta / 2
                 5
                 H216
       FAIL:(0) hrana / 2
                   4
                   5
     FAIL:(0) spoj / 2
                 4
                 H446
   FAIL:(0) cesta / 2
               4
               H216
     FAIL:(0) hrana / 2
                 1
                 4
     REDO:(2) hrana / 2
                 1
                 5
     EXIT:(0) hrana / 2
                 1
                 5
   EXIT:(0) spoj / 2
               1
               5
   CALL:(1) cesta / 2
               5
               H216
     CALL:(1) spoj / 2
                 5
                 H216
       CALL:(0) hrana / 2
                   5
                   H216
       FAIL:(0) hrana / 2
                   5
                   H216
     FAIL:(0) spoj / 2
                 5
                 H216
   FAIL:(0) cesta / 2
               5
               H216
   REDO:(2) cesta / 2
               5
               H216
     CALL:(1) spoj / 2
                 5
                 H444
       CALL:(0) hrana / 2
                   5
                   H444
       FAIL:(0) hrana / 2
                   5
                   H444
     FAIL:(0) spoj / 2
                 5
                 H444
   FAIL:(0) cesta / 2
               5
               H216
     FAIL:(0) hrana / 2
                 1
                 5
   FAIL:(0) spoj / 2
               1
               H271
 CALL:(1) cesta / 2
             1
             H216
   CALL:(1) spoj / 2
               1
               H216
     CALL:(1) hrana / 2
                 1
                 4
     EXIT:(0) hrana / 2
                 1
                 4
   EXIT:(0) spoj / 2
               1
               4
 EXIT:(0) cesta / 2
             1
             4
     FAIL:(0) hrana / 2
                 1
                 4
     REDO:(2) hrana / 2
                 1
                 5
     EXIT:(0) hrana / 2
                 1
                 5
   EXIT:(0) spoj / 2
               1
               5
 EXIT:(0) cesta / 2
             1
             5
     FAIL:(0) hrana / 2
                 1
                 5
   FAIL:(0) spoj / 2
               1
               H216
 FAIL:(0) cesta / 2
             1
             H216
 REDO:(2) cesta / 2
             1
             H216
   CALL:(1) spoj / 2
               1
               H271
     CALL:(1) hrana / 2
                 1
                 4
     EXIT:(0) hrana / 2
                 1
                 4
   EXIT:(0) spoj / 2
               1
               4
   CALL:(1) cesta / 2
               4
               H216
     CALL:(1) spoj / 2
                 4
                 H216
       CALL:(8) hrana / 2
                   4
                   5
       EXIT:(0) hrana / 2
                   4
                   5
     EXIT:(0) spoj / 2
                 4
                 5
   EXIT:(0) cesta / 2
               4
               5
 EXIT:(0) cesta / 2
             1
             5
       FAIL:(0) hrana / 2
                   4
                   5
     FAIL:(0) spoj / 2
                 4
                 H216
   FAIL:(0) cesta / 2
               4
               H216
   REDO:(2) cesta / 2
               4
               H216
     CALL:(1) spoj / 2
                 4
                 H446
       CALL:(8) hrana / 2
                   4
                   5
       EXIT:(0) hrana / 2
                   4
                   5
     EXIT:(0) spoj / 2
                 4
                 5
     CALL:(1) cesta / 2
                 5
                 H216
       CALL:(1) spoj / 2
                   5
                   H216
         CALL:(0) hrana / 2
                     5
                     H216
         FAIL:(0) hrana / 2
                     5
                     H216
       FAIL:(0) spoj / 2
                   5
                   H216
     FAIL:(0) cesta / 2
                 5
                 H216
     REDO:(2) cesta / 2
                 5
                 H216
       CALL:(1) spoj / 2
                   5
                   H621
         CALL:(0) hrana / 2
                     5
                     H621
         FAIL:(0) hrana / 2
                     5
                     H621
       FAIL:(0) spoj / 2
                   5
                   H621
     FAIL:(0) cesta / 2
                 5
                 H216
       FAIL:(0) hrana / 2
                   4
                   5
     FAIL:(0) spoj / 2
                 4
                 H446
   FAIL:(0) cesta / 2
               4
               H216
     FAIL:(0) hrana / 2
                 1
                 4
     REDO:(2) hrana / 2
                 1
                 5
     EXIT:(0) hrana / 2
                 1
                 5
   EXIT:(0) spoj / 2
               1
               5
   CALL:(1) cesta / 2
               5
               H216
     CALL:(1) spoj / 2
                 5
                 H216
       CALL:(0) hrana / 2
                   5
                   H216
       FAIL:(0) hrana / 2
                   5
                   H216
     FAIL:(0) spoj / 2
                 5
                 H216
   FAIL:(0) cesta / 2
               5
               H216
   REDO:(2) cesta / 2
               5
               H216
     CALL:(1) spoj / 2
                 5
                 H444
       CALL:(0) hrana / 2
                   5
                   H444
       FAIL:(0) hrana / 2
                   5
                   H444
     FAIL:(0) spoj / 2
                 5
                 H444
   FAIL:(0) cesta / 2
               5
               H216
     FAIL:(0) hrana / 2
                 1
                 5
   FAIL:(0) spoj / 2
               1
               H271
 FAIL:(0) cesta / 2
             1
             H216