Szakdolgozatomban tárgyalom a logikai programozás elméleti hátterét: az alapvető logikai fogalmakat és az SLD rezolúciót, vizsgálom a Prolog műkdését és implementálok néhány megoldás-kereső algoritmust Prologban.