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

S1 to S6 directories contain different exercises of each lab session:

• S1 where there is a SAT solver implemented in C++
• S2 with beginner exercises to logic programming with Prolog
• S3 where we solve hard problems reducing them to SAT clauses with Prolog
• S4 same as S3 but optimizing a certain metric
• S5 with more advanced problems in Prolog
• S6 where we solve hard problems with CLPFD (constraint logic programming over finite domains) in Prolog

Furthermore there are two theory exams (Zeroth-order Logic and First Order Logic resp.) and their solutions (suffixed with "-sol"). There are also two lab examsn (Labs S1-S3 being the midterm and S4-S6 final). Solutions are also attached.