Re:Barliman: Prototype of a smart text editor
by will_byrd on Sunday July 31, 2016 @06:49PM
(#12199291)
Very nice! Thanks.
You might be interested in this paper and code on the implementation of microKanren, a minimal implementation of core miniKanren. The core implementation is under 50 lines of Scheme code.
Jason Hemann and Daniel P. Friedman. microKanren: A Minimal Functional Core for Relational Programming. In Proceedings of the 2013 Workshop on Scheme and Functional Programming (Scheme '13), Alexandria, VA, 2013.
https://news.ycombinator.com/item?id=12193694