Přednáška

Cvičení

• úvod do Prologu
• backtracking
• unifikace
• SLD stromy výpočtu

Domácí úkol

Další zdroje

• SWI Prolog
  Oficiální stránky SWI Prologu, kde se dá vyhledávat v dokumentaci
• Learn Prolog now!
  Tutorial jazyka Prolog (anglicky)
• Prolog visualizer
  Vizualizačný nástroj na průběh výpočtu v Prologu