Várterész, MagdaKőszegi, Judit2008-05-262008-05-2620082008-05-26http://hdl.handle.net/2437/5132Szakdolgozatomban 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.48840403 bytesapplication/pdfhumesterséges intelligencialogikaDEENK Témalista::Informatika::Számítógéptudományno_restriction