2 citations · 2 across the 3 of their papers we have counts for
3 papers
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…
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…
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator
Michael Leuschel, Jesper Joergensen, Wim Vanhoof +1
The so called ``cogen approach'' to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evaluation of…