Eric Taucher's repositories
SWI-Prolog-validation
A ChatGPT plugin that will validate Prolog code generated by ChatGPT by compiling the code with SWI-Prolog.
A ChatGPT plugin that will validate Prolog code generated by ChatGPT by compiling the code with SWI-Prolog.