Learn Prolog Now

Re:Learn Prolog Now by hunterpayne on Wednesday November 12, 2025 @07:48PM (#45909056)

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.

[ Parent | on HN ]

Re:Learn Prolog Now by Karrot_Kream on Wednesday November 12, 2025 @11:34PM (#45910661)

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.

[ Parent | on HN ]

Re:Learn Prolog Now by lionturtle on Thursday November 13, 2025 @01:45AM (#45911540)

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

[ Parent | on HN ]

Re:Learn Prolog Now by AlecSchueler on Thursday November 13, 2025 @03:28AM (#45912294)

I use an ORM every day.

[ Parent | on HN ]

Re:Learn Prolog Now by dragonwriter on Saturday November 15, 2025 @12:44AM (#45935341)

> 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.

[ Parent | on HN ]