Várterész, MagdaKántor, Kristóf Szilveszter2012-05-152012-05-1520122012-05-15http://hdl.handle.net/2437/128966A dolgozat a legfontosabb matematikai logikai definíciók után tárgyalja az SLD-rezolúciót, ahol kifejtésre és illusztrálásra kerülnek a bizonyítási fák is. Ezt követően bemutatja a Prologot, illetve annak kialakulásának körülményeiről és fejlődéséről ad általános képet, majd bemutatja a Prolog szintaxisát, szemantikáját és működését. A dolgozat további részei a listákról szólnak, ahol néhány listaművelet reprezentációja található meg D-listás formában. Legvégül implementálásra kerül néhány alkalmazás ezen eljárások felhasználásával.43hulistalogikai programozáslogikakalkulusautomatikus tételbizonyításrezolúcióDEENK Témalista::Informatika::Számítógéptudományno_restriction