A 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.