Studenti apgūst loģiskās programmēšanas principus un pielieto predikātu loģiku programmēšanā. Uzmanības centrā ir faktu un likumu veidošana, rekursija, ekspertsistēmu programmēšana, koku un sarakstu apstrāde, pārmeklēšanas ierobežojumu radīšana, dažādu tipu failu apstrāde. Studiju kursa ietvaros apskata un analizē atšķirības starp dažādiem Prolog valodas dialektiem.