ChatGPT logic engine using Prolog.
First developed at the OpenAI emergency hackathon on 3/5/2023.
GPT-3.5 outputs prolog along with additional text sometimes breaking the automated push to the . It may refuse to generate prolog if there are no obvious logical statements.
$ inv logic.run
$ parse
$ Men are mortal. Men are human. I am human.
$ ask
$ Am I mortal?
One of the promises of logic is that it can give formal grounding for truth. As LLMs develop more sophisicated responses, we will be more challenged to detect truth.
Via ChatGPT:
"Logic is the beginning of wisdom, not the end." - Leonard Nimoy
"Logic will get you from A to B. Imagination will take you everywhere." - Albert Einstein
"Formal logic is the science of the necessary laws of thought, and, as such, is a fundamental branch of knowledge." - Bertrand Russell
"Logic is the anatomy of thought." - John Locke
"Logic is the art of thinking well; the mind, like the body, requires to be trained before it can use its powers in the most advantageous way." - Alfred North Whitehead
"Logic is the foundation of the certainty we enjoy in our knowledge of the external world." - Gottlob Frege
"The study of logic should not be limited to the ability to reason well; it should also be concerned with the nature of reason and its limitations." - Immanuel Kant
"Logic, like whiskey, loses its beneficial effect when taken in too large quantities." - Lord Dunsany
"Logic is the supreme arbiter; the power that defines and controls all things." - Cicero
"Logic is the backbone of reason, and reason is the greatest of all virtues." - Francis Bacon
brew install pyenv pyenv-virtualenv git
brew install swi-prolog --HEAD
pyenv install 3.11.2
pyenv virtualenv 3.11.2 logical
pip install --upgrade pip
chmod +x main.pl
Then copy the .env-example to .env
- help
- exit
- parse: input text to extract logic from
- ask: : ask a logical question
You can load the generated file in swipl to test also
$ swipl
?- ['myprolog.pl'].