[lapinot]

Datalog is a nice query language but it is far more limited than prolog or general purpose logic programming.

[convolvatron]

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

[rebanevapustus]

That's why embedded Datalog is so good. You can delegate all that to the host language.