|
|
|
|
|
|
by Rendello
369 days ago
|
|
|
By total coincidence, today I've been looking at Datalog implementations. The Datalog(-adjacent) Soufflé tutorial says this right near the start: > For practical usage, Soufflé extends Datalog to make it Turing-equivalent through arithmetic functors. This results in the ability of the programmer to write programs that may never terminate. https://souffle-lang.github.io/tutorial |
|
|