I'd love a new way to write first order logic programs. I tried to generate prolog from natural language using GPT4 with sometimes interesting results. https:

I'd love a new way to write first order logic programs. I tried to generate prolog from natural language using GPT4 with sometimes interesting results. https://github.com/HumanAssistedIntelligence/logical https://github.com/HumanAssistedIntelligence/logical