Is anyone doing something like using LLMs to generate Prolog (or Cyc, or some appropriately complex, brittle knowledge representation GOFAI)?