News for hackers. Stuff that matters.

A comment on Can Logic Programming Be Liberated from Predicates and Backtracking? [pdf]. Parent comment

Re:Can Logic Programming Be Liberated from Predicates and Ba... by lapinot on Sunday October 13, 2024 @08:22AM (#41827353)
Datalog is a nice query language but it is far more limited than prolog or general purpose logic programming.
[ Parent | on HN ]
Re:Can Logic Programming Be Liberated from Predicates and Ba... by convolvatron on Sunday October 13, 2024 @01:08PM (#41829637)
there is a really interesting space between queries and prolog which includes mundane junk like encoding and rendering and data formatting changes that benefits in evaluation from having less power but maintains the lovely expressibility and analysis that we get from 'real' logic programming.

there's lots of exploring left to do

[ Parent | on HN ]
Re:Can Logic Programming Be Liberated from Predicates and Ba... by rebanevapustus on Monday October 14, 2024 @02:04AM (#41834657)
That's why embedded Datalog is so good. You can delegate all that to the host language.
[ Parent | on HN ]