News for hackers. Stuff that matters.

A comment on Barliman: Prototype of a smart text editor.

Re:Barliman: Prototype of a smart text editor by YeGoblynQueenne on Sunday July 31, 2016 @08:57AM (#12196761)
It's nice to see a logic programming subject on HN's first page- the second in two days.
[ Parent | on HN ]
Re:Barliman: Prototype of a smart text editor by will_byrd on Sunday July 31, 2016 @01:44PM (#12197924)
Cool! What was the other post?
[ Parent | on HN ]
Re:Barliman: Prototype of a smart text editor by YeGoblynQueenne on Sunday July 31, 2016 @05:53PM (#12199085)
This one:

https://news.ycombinator.com/item?id=12193694

[ Parent | on HN ]
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.

http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf

https://github.com/jasonhemann/microKanren

[ Parent | on HN ]