[ggleason]

Yeah, it's really unfortunate that these amazing advances in datalog don't make it into general purpose languages.

[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.

[dunefox]

Mainstream languages will lag behind others forever. The average programmer in Java or C# neither cares for nor understands 'new' features or concepts. Most people I know in this area have never even heard about prolog, lisp, smalltalk, etc.