there's this interesting proof of concept written in common lisp: https://github.com/projectured/projectured https://github.com/projectured/projectured the de

there's this interesting proof of concept written in common lisp: https://github.com/projectured/projectured https://github.com/projectured/projectured the depth work is almost done. IIRC there are only a couple of nontrivial issues left, but it's been abandoned.