Lecture notes
Online materials
Prof. Roman Barták
Prolog is a declarative programming language with successful applications in several areas like artificial intelligence and scheduling. The guide provides a tutorial to programming in Prolog starting from the beginner's level. There are a lot of examples of Prolog source code.
Guide to Constraint Programming
Prof. Roman Barták
Constraint Programming is a framework for declarative problem solving using constraints; relations among problem variables. The guide provides a tutorial on constraint satisfaction techniques and solving over-constrained problems. Many constraint algorithms are presented here.
Prof. Roman Barták
Study materials for the lecture Automata and Grammars (NTIN071)
Prof. Roman Barták
Study materials for the lecture Constraint Programming (NOPT042)