Thesis is about programming of logical games. It describes artificial intelligence engine used in a checkers program.