A Prolog application for reasoning on maths puzzles with diagrams. - Riccardo Buscaroli; Federico Chesani; Giulia Giuliani; Daniela Loreti; Paola Mello (J. Exp. Theor. Artif. Intell., 2023)