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