One more high-level comment. I'm thinking of starting a series of Google Hangouts to explain how Barliman works, and more importantly, to collaborate on making the underlying technology better and explore alternative interfaces.
This would build upon 40 hours of hangouts I did on miniKanren and relational interpreters in 2014 and 2015:
https://www.youtube.com/playlist?list=PLO4TbomOdn2cks2n5Pvif...
The new hangouts would be more focused on research and development, trying to make Barliman more practical, and would hopefully lead to academic publications. In addition to my interest in logic programming, I'm very interested in how to work with people online to do research and writing.
If this sounds interesting to you, please sign up to the miniKanren uncourse mailing list:
https://groups.google.com/forum/#!forum/minikanren-uncourse
or contact me directly:
webyrd@gmail.com
Thanks!
--Will