Automated Theorem Proving for Prolog Verification

Fred Mesnard, Thierry Marianne, Étienne Payet. Automated Theorem Proving for Prolog Verification. In Nikolaj S. Bjørner, Marijn Heule, Andrei Voronkov, editors, LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024. Volume 18 of Kalpa Publications in Computing, pages 137-151, EasyChair, 2024. [doi]

Abstract

Abstract is missing.