GitHub repository: AcademLab/logic-programming
Primary language: Prolog
Description: BMSTU IU7, Course 3, Semester 6, Logic Programming