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