2 ms·
No, and for me the problem is the following. I (can) have a variant of microKanren embedding in my environment, but the microKanren interface is rather inconven
by avmich 4y ago
No, and for me the problem is the following. I (can) have a variant of microKanren embedding in my environment, but the microKanren interface is rather inconvenient to use. miniKanren would be better, but to implement miniKanren in other languages is a bigger problem - actually I hoped to get some help with that using this annotation article.
- ashton314 4y ago> but the microKanren interface is rather inconvenient to use What specifically would make it easier? I'm not that familiar with miniKanren. Is it stuff covered by the convenience macros from the paper?
- avmich 4y agoGood question. I suspect the problem is in that the goals are expressed as functions in microKanren, and it's hard to figure out how to represent what is needed to get as such functions. It looks like Prolog approach is more understandable - there are symbols and rules; not sure if Prolog would be easier to embed in, say, Java and switch between Java objects and Prolog rules. microKanren is practically by definition for embeddability - so it's this aspect which for me present a problem.