arxivcs.LOcs.AI2026-07-23
Case study: solving P-99 with LPTP and an LLM
Fred Mesnard, Thierry Marianne, Étienne Payet, Wim Vanhoof
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 Anthropic. By solved we mean: generate the Prolog code and a test file, run the tests and check whether th…