Automated Theorem Proving for Prolog Verification. - Fred Mesnard; Thierry Marianne; Étienne Payet (LPAR Complementary Volume, 2024)