Логическо програмиране
- Лекции от проф. Димитър Скордев
- Лекции от гл. ас. Антон Зиновиев
- Записки от гл. ас. Владислав Ненчев
- Стари записки за резолюции от гл. ас. Антон Зиновиев с идеи от проф. Тинко Тинчев
- Стари упражнения по пролог от ас. Весела Балева
- Материали за държавен изпит за втори поток на специалност Компютърни науки.
- Компилатор на Пролог: Strawberry Prolog