• 7.4.2010 - Základy Prologu (predikáty, fakta, pravidla, rekurze), zadání 1. domácího úkolu
• 14.4.2010 - Práce se seznamy
• 21.4.2010 - Mimologický predikát řez, zadání 2. domácího úkolu
• 28.4.2010 - Prohledávání stavového prostoru, zadání 3. domácího úkolu, odevzdání domácího úkolu 1
• 5.5.2010 - Test(45min), odevzdání domácího úkolu 2, Prohledávání stavového prostoru
• 12.5.2010 - Rektorský den, odevzdání domácího úkolu 3 (odevzdat do 14.5.2010)
• 19.5.2010 - Dynamické klauzule, rozhraní Java ↔ Prolog, Zápočet

Domácí úkoly se odevzdávají mailem cvičícímu před daným cvičením .

Seznámení s jazykem Prolog (fakta, predikáty, pravidla, dotazy; rekurze) a s prostředím Eclipse.

Úkoly:

1. Podle rodokmenu na obrázku napište v Prologu fakta o rodině: rodic(X,Y), muz(X) a zena(X). Znak = označuje manžele a čára potomka.
   
2. Pomocí výše uvedených faktů můžeme definovat pravidlo pro otce otec(X,Y):-muz(X), rodic(X,Y). Podobně nadefinujte pravidla pro matku, syna, dceru, dědu a babičku.
3. Zapište v Prologu následující orientovaný graf jako fakta.
   
4. Naprogramujte program pro ověření, zda mezi uzly X a Y existuje cesta.
5. Naprogramujte v Prologu výpočet faktoriálu.
6. Vyřešte v Prologu kryptogram JA+SE=MAM.

Zadání je zde.

Pro výpisy použijte predikáty write, nl (new line).

?-write('*').

?-write('*'), nl, write('*').

?-write(N). N je např. číslo nebo seznam.