[jodrellblank]

> Also, that you push Python and JavaScript

I didn't push them.

> Those are terrible languages to try to graft to anything.

Web browsers, Blender, LibreOffice and Excel all use those languages for embedded scripting. They're fine.

> Just because you only know those 2 languages doesn't make them good choices for something like this.

You misunderstood my claim and are refuting something different. I said there is more training data for LLMs to use to generate Python and JavaScript, than Prolog.

[hunterpayne]

I'm not. Python and JS are scripting languages. And in this case, we want something that models formal logic. We are hammering in a nail, you picked up a screwdriver and I am telling you to use a claw hammer.

[Karrot_Kream]

What does this comment even mean? A claw hammer? By formal definitions, all 3 languages are Turing complete and can express programs of the same computational complexity.

[dragonwriter]

> By formal definitions, all 3 languages are Turing complete and can express programs of the same computational complexity.

So is Brainfuck.

Turing equivalence does not imply that languages are equally useful choices for any particular application.

[lionturtle]

But we kinda don't use python for a database query over sql do we?

[AlecSchueler]

I use an ORM every day.