Naziv
Logičko programiranje
Organizacijska jedinica
Odsjek za informacijske i komunikacijske znanosti
ECTS bodovi
6
Šifra
117613
Semestri izvođenja
zimski
Jezik izvođenja
hrvatski
Satnica
Predavanja
30
Seminar
30

Cilj
Studenti trebaju upoznati koncepte, mogućnosti i ulogu logičkog programiranja u informacijskom sustavu. Praktičan rad omogućit će studentu da upozna i ovlada različitim metodama primjene logičkog programiranja
Sadržaj
  1. Osnove logičkog programiranja u računu predikata. Predikatni račun kao jezik.
  2. Klauzule. Ciljna, programska i Hornova klauzula. Jednostavne i složene rečenice
  3. Pretvorba složenih rečenica u jednostavne. Supstitucija.
  4. Unifikacija. Hornova i standardna forma.
  5. Rezolucija. Primjena pravila rezolucije na račun sudova i na račun predikata.
  6. Priprema za I. kolokvij
  7. Kolokvij I.
  8. Prolog i logika predikata. Specifičnost Prologa u odnosu na račun predikata.
  9. Pravilo rezolucije u Prolog sustavu.
  10. Sintaksa i semantika. Baza znanja.
  11. Izračunavanje odgovora. Rekurzija.
  12. Strukture podataka. Binarno stablo i osnovne operacije s binarnim stablom.
  13. Vraćanje i rez. Standardni i sistemski predikati.
  14. Priprema za II. kolokvij
  15. Kolokvij II.

Ishodi učenja
  1. Razumjeti pravila zaključivanja u logičkom programiranju
  2. Razumjeti prijelaz sa predikatnog računa na Prolog
  3. Primjeniti logičko programiranje na rješavanje problema
  4. Primjeniti logičko programiranje na strukture podataka
Metode podučavanja
Predavanja i vježbe koje kroz praktične primjere na računalu prate predavanja.
Metode ocjenjivanja
Tijekom semestra studenti će imati dva kolokvija s kojima se mogu osloboditi pismenog dijela ispita. Usmeni ispit.

Obavezna literatura
  1. Čubrilo, M.: Matematička logika za ekspertne sisteme, Informator, Zagreb, 1989.
  2. Radovan, M.: Programiranje u prologu, Informator, Zagreb, 1987.
  3. Spencer-Smith, R.: Logic and Prolog, Harvester Wheatsheaf, 1991
Dopunska literatura
  1. Vladimir Mateljan: Predikatni račun, Skripta na sustavu za učenje na daljinu - Omega, Zagreb, 2009.

Obavezan predmet na studijima
  1. Informacijske znanosti, sveučilišni diplomski dvopredmetni studij
Izborni predmet na studijima
  1. Informacijske znanosti, sveučilišni diplomski jednopredmetni studij
  2. Informacijske znanosti, sveučilišni diplomski dvopredmetni studij