It would be nice if Schism were able to run one of the many miniKanren-related languages. As a way to get started, we should add a test case based on µKanren. It's less than 40 lines of code, and it looks like it only uses features Schism currently supports. Maybe we can get some simple programs running backwards.
It would be nice if Schism were able to run one of the many miniKanren-related languages. As a way to get started, we should add a test case based on µKanren. It's less than 40 lines of code, and it looks like it only uses features Schism currently supports. Maybe we can get some simple programs running backwards.
Here's a link to the paper, which includes code: http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf