1) Pateikti duomenys
1. Taisykles
   R1: A => L
   R2: L => K
   R3: D => A
   R4: D => M
   R5: F, B => Z
   R6: C, D => F
   R7: A => D
2. Faktai
   A, B, C
3. Tikslas
   Z

---------
2) Sprendimas
1 iteracija
   1. R1: A -> L taikoma. Pekeliamas flag1. Faktu aibe: A, B, C, L.

2 iteracija
   1. R1: A -> L netaikoma, nes taikyta anksciau (flag1).
   2. R2: L -> K taikoma. Pekeliamas flag1. Faktu aibe: A, B, C, L, K.

3 iteracija
   1. R1: A -> L netaikoma, nes taikyta anksciau (flag1).
   2. R2: L -> K netaikoma, nes taikyta anksciau (flag1).
   3. R3: D -> A netaikoma, nes konsekventas jau yra faktu aibeje (flag2).
   4. R4: D -> M netaikoma, nes truksta D.
   5. R5: F, B -> Z netaikoma, nes truksta F.
   6. R6: C, D -> F netaikoma, nes truksta D.
   7. R7: A -> D taikoma. Pekeliamas flag1. Faktu aibe: A, B, C, L, K, D.

4 iteracija
   1. R1: A -> L netaikoma, nes taikyta anksciau (flag1).
   2. R2: L -> K netaikoma, nes taikyta anksciau (flag1).
   3. R3: D -> A netaikoma, nes konsekventas jau yra faktu aibeje (flag2).
   4. R4: D -> M taikoma. Pekeliamas flag1. Faktu aibe: A, B, C, L, K, D, M.

5 iteracija
   1. R1: A -> L netaikoma, nes taikyta anksciau (flag1).
   2. R2: L -> K netaikoma, nes taikyta anksciau (flag1).
   3. R3: D -> A netaikoma, nes konsekventas jau yra faktu aibeje (flag2).
   4. R4: D -> M netaikoma, nes taikyta anksciau (flag1).
   5. R5: F, B -> Z netaikoma, nes truksta F.
   6. R6: C, D -> F taikoma. Pekeliamas flag1. Faktu aibe: A, B, C, L, K, D, M, F.

6 iteracija
   1. R1: A -> L netaikoma, nes taikyta anksciau (flag1).
   2. R2: L -> K netaikoma, nes taikyta anksciau (flag1).
   3. R3: D -> A netaikoma, nes konsekventas jau yra faktu aibeje (flag2).
   4. R4: D -> M netaikoma, nes taikyta anksciau (flag1).
   5. R5: F, B -> Z taikoma. Pekeliamas flag1. Faktu aibe: A, B, C, L, K, D, M, F, Z.

---------
3) Rezultatas
3.1 Tikslas pasiektas.
3.2 Kelias: {R1, R2, R7, R4, R6, R5}.