Warning
This page is located in archive.

Prolog

Harmonogram

  • 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 .

Cvičení 1

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í 1. úkolu z Prologu: rekurze

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.

courses/y33pui/prolog/prolog_1.txt · Last modified: 2013/10/04 13:02 (external edit)