Two weeks: logic and constraint logic programming paradigms
Use logic and theorem proving as the underlying computational model
From a set of axioms and rules, a program executes by trying to prove a given hypothesis
In constraint logic programming, more information is provided about the domain, which can increase the efficiency of the programs significantly