4 ms·

> 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 covere

• avmich 4y ago
  Good 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.