EricGT/SWI-Prolog-validation
A ChatGPT plugin that will validate Prolog code generated by ChatGPT by compiling the code with SWI-Prolog.
PythonMIT
A ChatGPT plugin that will validate Prolog code generated by ChatGPT by compiling the code with SWI-Prolog.
PythonMIT