uloha(uloha1a,priklad_nespravneho_automatu-viz_chybove_hlasky,
  ka( [i1,i2],
	[a,b],
	i1,
	[i1-[a:i1,b:i1],i2-[a:i1,b:i1]],
	[])).


uloha(uloha1b,'jiri.machalek',ka([i1,i2,i3,i4,i5,i6,i7,i8],[a,b],i1,[i1-[a:i1,b:i2],i2-[a:i3,b:i4],i3-[a:i1,b:i5],i4-[a:i6,b:i4],i5-[a:i5,b:i5],i6-[a:i7,b:i5],i7-[a:i7,b:i8],i8-[a:i6,b:i8]],[i6,i7,i8])).

uloha(uloha1b,'vincent.kriz',ka([1,2,3,4,5,6,7,8],[a,b],1,[1-[a:1,b:2],2-[a:3,b:4],3-[a:1,b:5],4-[a:6,b:4],5-[a:5,b:5],6-[a:7,b:5],7-[a:7,b:8],8-[a:6,b:8]],[6,7,8])).

uloha(uloha1a,'Vladim!r Rovensk ',ka(
       [1,2,3,4,5,6,7,8],
       [a,b],                   % abeceda
       1,                      % poc. stav
       [1-[a:2,b:3],2-[a:2,b:4],3-[a:5,b:3],4-[a:6,b:3],5-[a:7,b:4],6-[a:7,b
:8],7-			[a:7,b:7],8-[a:6,b:8]], % prech. fce
       [6,8])).

uloha(uloha1b,'Martin.Sladecek',
        ka(
                [u1,u2,u3,u4,u5,u6,u7,u8],
                [a,b],
                u7,
                [u1-[a:u1,b:u1],
                 u2-[a:u4,b:u1],
                 u3-[a:u2,b:u3],
                 u4-[a:u4,b:u5],
                 u5-[a:u2,b:u5],
                 u6-[a:u8,b:u3],
                 u7-[a:u7,b:u6],
                 u8-[a:u7,b:u1]],
                [u2,u4,u5])).

uloha(uloha1a,'Michal.Vachna',
ka(
[i1,i2,i3,i4,i5,i6,i7,i8],
[a,b],
i1,
[i1-[a:i2,b:i6],i2-[a:i2,b:i3],i3-[a:i4,b:i6],i4-[a:i8,b:i5],i5-[a:i4,b:i5],i6-[a:i7,b:i6],i7-[a:i8,b:i3],i8-[a:i8,b:i8]],
[i4,i5])).

uloha(uloha1b,'Jan.Forst',
ka([s1,s2,s3,s4,s5,s6,s7,s8],
[a,b],
s1,
[s1-[a:s1,b:s2],s2-[a:s3,b:s4],s3-[a:s1,b:s5],s4-[a:s6,b:s4],s5-[a:s5,b:s5],s6-[a:s7,b:s5],s7-[a:s7,b:s8],s8-[a:s6,b:s8]],
[s6,s7,s8])).

uloha(uloha1b,' Rezac', ka([1,2,3,4,5,6,7,8],[a,b],1,[1-[a:1,b:3],2-[a:1,b:8],3-[a:2,b:4],4-[a:7,b:8],5-[a:5,b:6],6-[a:7,b:6],7-[a:5,b:8],8-[a:8,b:8]],[5,6,7])).
 
uloha(uloha1b, ' Renat',
	ka([1,2,3,4,5,6,7,8],
	[a,b],
	1,
	[1-[a:1,b:2],2-[a:3,b:4],3-[a:1,b:5],4-[a:6,b:4],5-[a:5,b:5],6-[a:7,b:5],7-[a:7,b:8],8-[a:6,b:5]],
	[6,7,8])).

uloha(uloha1b,'marian.skvarek',
  ka([i1,i2,i3,i4,i5,i6,i7,i8],
     [a,b],
     i1,    
     [i1-[a:i1,b:i2],i2-[a:i7,b:i3],i3-[a:i4,b:i3],i4-[a:i5,b:i8],i5-[a:i5,b:i6],i6-[a:i4,b:i6],i7-[a:i1,b:i8],i8-[a:i8,b:i8]],
    [i4,i5,i6])).

uloha(uloha1a,'Petr.Li ka',ka([1,2,3,4,5,6,7,8],[a,b],1,[1-[a:3,b:2],2-[a:5,b:4],3-[a:3,b:4],4-[a:7,b:2],5-[a:6,b:4],6-[a:6,b:6],7-[a:6,b:8],8-[a:7,b:8]],[7,8])).

uloha( uloha1a,'dalibor.hlava_testSChybou',ka( [1,2,3,4,5,6,7], [a,b], 1, [ 1-[a:2,b:3], 2-[a:2,b:4], 3-[a:7,b:3], 4-[a:5,b:3], 5-[a:6,b:4], 6-[a:6,b:6], 7-[a:6,b:4] ], [ 5 ] ) ).

uloha(uloha1b,'Tomas.Fechtner',
ka(
[i1,i2,i3,i4,i5,i6,i7,i8],
[a,b],
i1,
[i1-[a:i1,b:i2],i2-[a:i3,b:i4],i3-[a:i1,b:i5],i4-[a:i6,b:i4],i5-[a:i5,b:i5],i6-[a:i7,b:i5],i7-[a:i7,b:i8],i8-[a:i6,b:i8]],
[i6,i7,i8]
)).


%% 2007 ---------

uloha(uloha1b,'r2007_Ondrej.Cerny',
  ka( [i1,i2,i3,i4,i5,i6,i7,i8],
      [a,b],
      i6,
      [i1-[a:i1,b:i2],i2-[a:i2,b:i5],i3-[a:i8,b:i3],i4-[a:i2,b:i7],i5-[a:i1,b:i3],i6-[a:i4,b:i7],i7-[a:i4,b:i8],i8-[a:i8,b:i8]],
      [i1,i3,i5])).

uloha(  uloha1b,
            'Pavel.Kropitz',
            ka(   [a,b,c,d,e,f,g,h],
                    [a,b],
                    a,
                    [ a-[a:b, b:g], b-[a:c, b:g], c-[a:c, b:d], 
d-[a:e,b:f], e-[a:e,b:d], f-[a:h, b:f], g-[a:b,b:h], h-[a:h, b:h] ],
                    [d,e,f] ) ).
/*
    & nechceli ste v ag_ulohy.pl namiesto casti>

length(XD,LXD), % length(Qs,LQs), % #prechodov - u stavu
rawtest(LXD=LQs,
error('test KA: chyba v prech fci-(pism. navic?)',XQ-XD)),

    uviest (#prechodov u stavu == #pismen abecedy)>

length(XD,LXD), % length(As,LAs), % #prechodov - u stavu
rawtest(LXD=LAs,
error('test KA: chyba v prech fci-(pism. navic?)',XQ-XD)),

   
    s pozdravom,
       pavel kropitz.
 */