Keywords: programiranje, induktivno logično programiranje, specializacija hipotez, Hyper, disertacijeFull text (outside link)