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…