A logikai programozás (prolog) alapjai, elméleti hátterének ismertetése. Dolgozat célja, hogy tudást nyújtson a programozáshoz tartozó elengedhetetlen matematikai logikai ismeretekből, ismertesse a logikai programozás (prolog) alapjait, főleg elméleti hátterét, illetve néhány alapvető prolog listakezelő algoritmust. A dolgozat említést tesz mind a prolog nyelv szintaktikájáról mind annak működéséről. A logikai programozás története egészen régre nyúlik vissza. Az alapötlet Robert Kowalski brit egyetemi oktatótól származik. 1975-ben egy franciai számítógépes nyelvész, Alain Colmerauer ki is fejlesztette a Prolog (programmation en logique-logikai programozás) programozási nyelvet. Ez volt az első logikai programozási nyelv. Alapgondolata, hogy a programunkat formulák segítségével írjuk le, relációk segítségével és nem a matematikai függvényekre támaszkodva, ahogy azt más funkcionális nyelvek teszik.