3 ms·
You might be interested in Flix which has first-class Datalog program values: https://flix.dev/ https://flix.dev/ https://doc.flix.dev/fixpoints.html https://
by jorkadeen 3y ago
You might be interested in Flix which has first-class Datalog program values:
https://flix.dev/ https://flix.dev/
https://doc.flix.dev/fixpoints.html https://doc.flix.dev/fixpoints.html
(I am one of the developers of Flix)
- dunefox 3y agoI was about to post this. If only the vscode plugin worked I would use Flix.
- rsrsrs86 3y agoThe feature list is impressive
- dunefox 3y agoThe 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