2 papers
cs.LO2026
Case study: solving P-99 with LPTP and an LLM
Fred Mesnard, Thierry Marianne, Ãtienne Payet +1
Ninety-Nine Prolog Problems (P-99) is a famous set of Prolog exercises. We solved the first thirty three just by prompting an LLM (Large Language Model). We used Claude from Anthro…
cs.LO2026
Case study: proving sqrt(2) irrational with LPTP and an LLM
Fred Mesnard, Ãtienne Payet, Wim Vanhoof
We present the interactions with an LLM (Large Language Model) aiming at proving that the square root of 2 is not a rational number in an LP (Logic Programming) context. We start f…