Material for Logic programming course taught in Sofia University, Faculty of Mathematics and Informatics winter semester 2020/2021.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool