Logic Programming and Reasoning Puzzles

What is it about?

The aim of our paper is to show how various reasoning puzzles can be used to teach the ICT students the craft of programming. We have described several reasoning puzzles here together with various approaches to solve them. The individual algorithms allow us to show the typical mistakes and inefficiencies that students usually do when solving the problem. While the puzzles are easy to be defined and explained, they represent reasonably difficult problems to be solved by naïve algorithms. Students are guided through the process of development of more efficient algorithms, they learn the important principles of dealing with generate and test problems, and the basic rules to be remembered are formulated there. The programs are written in Prolog and we discuss the reasons for the utilisation of this programming language in our paper too. Nevertheless, it has been stressed that the principles described here are valid generally and regardless the choice of programming language.

Featured Image