4 ms·

z3 solver for comparison, from the original thread: https://gist.github.com/sielicki/fd86d68733133f654128519b3c4e12c2 https://gist.github.com/sielicki/fd86d6873

z3 solver for comparison, from the original thread: https://gist.github.com/sielicki/fd86d68733133f654128519b3c4e12c2 https://gist.github.com/sielicki/fd86d68733133f654128519b3c4... I find z3 python interface much simpler, more intuitive and more powerful than prolog for this kind of things

rscho 6y ago
One strong point of prolog is that all outputs are prolog terms themselves. So in terms of ease of use and reuse of results, prolog is much better. It all depends on what you are looking for.
fizixer 6y ago
Have you gotten a chance to look at miniKanren/cKanren? Any opinions?