A Prolog application for reasoning on maths puzzles with diagrams