/Logic-and-Prolog

Repository of lab exercises and exams from "Logic for CS" subject (1st semester 2023)

Primary LanguagePrologGNU General Public License v3.0GPL-3.0

No issues in this repository yet.