Naslov
Rezolucija i logičko programiranje
(Resolution and logic programming)

Autori
Kovačić, Franjo

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad, diplomski

Fakultet
Fakultet organizacije i informatike

Mjesto
Varaždin

Datum
29.09

Godina
2015

Stranica
63

Mentor
Lovrenčić, Sandra

Ključne riječi
Prolog ; rezolucija ; logičko programiranje: SLD rezolucija
(Prolog ; resolution ; logic programming ; SLD resolution)

Sažetak
U radu je obrađeno logičko programiranje i njegove teorijske postavkama te rezolucija kao metoda izvođenja formalnih dokaza uz poseban naglasak na SLD rezoluciju i njeno proširenje SLDNF. Upravo se SLDNF rezolucija koristi u programskom jeziku Prolog, što je potkrijepljeno primjerima izrađenim u tom jeziku uz detaljnu analizu procesa zaključivanja.

Izvorni jezik
Hrvatski

Znanstvena područja
Informacijske i komunikacijske znanosti

POVEZANOST RADA