Zkousel jsi to aplikovat pri hrani? Zrovna miny mi neprijdou jako idealni priklad pro demonstraci predikatove logiky. Snad behem kazde hry dojde nekolikrat k nerozhodnutelne situaci a ty rozhodnutelne situace by se(az na obcasnou vyjimku) snadno daly vyresit par if-y. Par situaci by jeste mozna pomohl rozhodnout celkovy pocet min(ten je myslim obvykle konstantni).
