I'm experimenting with using Bard to generate Prolog code. I have this idea that if I can synthesize Prolog and a LLM, I can do some very clever planning work.