The art of Prolog: advanced programming techniques
The art of Prolog: advanced programming techniques
Clause and effect: Prolog programming for the working programmer
Clause and effect: Prolog programming for the working programmer
A constraint-based approach to Enigma 1225
Computers & Mathematics with Applications
Hi-index | 0.09 |
A mathematical puzzle from a recent issue of the New Scientist magazine is solved by combining the theory of permutations with Prolog's symbolic and other computational facilities. The scheme studied is interesting because it shows that the power of the generate-and-test approach, a rather crude approach known from Artificial Intelligence, is greatly enhanced if it is supplemented by some topical knowledge from the field of study. The puzzle involves searching for matrices with certain patterns, leading to the study of permutation types. The suggested route allows for the solution of a generalized version of the original puzzle.