[jorkadeen]

You might be interested in Flix which has first-class Datalog program values:

https://flix.dev/

https://doc.flix.dev/fixpoints.html

(I am one of the developers of Flix)

[dunefox]

The documentation could use some proof reading. Grammar etc.

> Flix is strongly typed. Any attempt to use predicate symbol with terms of the wrong type (or with the wrong arity) is caught by the type checker.

*Statically typed

[rsrsrs86]

The feature list is impressive

[dunefox]

I was about to post this. If only the vscode plugin worked I would use Flix.

[jorkadeen]

What's the issue? Bug reports are most welcome.

[dunefox]

The latest version seems to have solved the issue. At least the compiler plugin runs with an empty file now.