Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context. - Ludovic Font; Sébastien Cyr; Philippe R. Richard; Michel Gagnon (ThEdu@CADE, 2019)