News for hackers. Stuff that matters.

A comment on Learn Prolog Now. Parent comment

Re:Learn Prolog Now by riku_iki on Wednesday November 12, 2025 @01:30PM (#45903911)
Even in your example (which is obviously not correct representation of prolog), that code will work X orders magnitude faster and with 100% reliability compared to much more inferior LLM reasoning capabilities.
[ Parent | on HN ]
Re:Learn Prolog Now by szundi on Wednesday November 12, 2025 @01:45PM (#45904141)
This is not the point though
[ Parent | on HN ]
Re:Learn Prolog Now by Onavo on Wednesday November 12, 2025 @02:59PM (#45905556)
Algorithmically there's nothing wrong with using BFS/DFS to do reasoning as long as the logic is correct and the search space is constrained sufficiently. The hard part has always been doing the constraining, which LLMs seem to be rather good at.
[ Parent | on HN ]
Re:Learn Prolog Now by riku_iki on Wednesday November 12, 2025 @03:57PM (#45906553)
> This is not the point though

could you expand what is the point? That authors opinion without much justification is that this is not reasoning?

[ Parent | on HN ]