> And I’d like to be able to call into this pure declarative logic from an imperative shell that handles all the messy stuff. Is that too much to ask?
There is at least one pure Python implementation of Datalog sitting on PIP, pyDatalog[1][2]. It's not part of the standard library, but it's one PIP install and one import away. So this item is one of the lowest hanging fruit in the wishlist, at least for Python.
> And I’d like to be able to call into this pure declarative logic from an imperative shell that handles all the messy stuff. Is that too much to ask?
There is at least one pure Python implementation of Datalog sitting on PIP, pyDatalog[1][2]. It's not part of the standard library, but it's one PIP install and one import away. So this item is one of the lowest hanging fruit in the wishlist, at least for Python.
[1] https://github.com/pcarbonn/pyDatalog
[2] https://pypi.org/project/pyDatalog
https://peps.python.org/pep-0750/