[simonw]

I have a feature request for the https://minikanren.org/ website: just one prominent block of example code on that homepage (as early as possible) would be REALLY useful for helping understand at a glance what kind of language this is.

I even clicked through quite a few of those prominent early links and didn't find a code example!

[yoz]

On top of that: some examples of the kinds of problems miniKanren can solve, based on real world examples rather than purely abstract concepts (e.g. "given a set of available air flights with origins, destinations, and prices, find me the cheapest way to get from Seattle to London")

[ffsm8]

Is that even possible for something like this? You've got a pretty long list of implementations, each having its own language specific syntax, e.g. https://github.com/pythological/kanren for one python version - and there are several Python versions linked on the homepage.

[simonw]

In that case an example box with tabs at the top - "miniKanren in Python / Go / Ruby" or whatever - would really help illustrate that point.

[will_byrd]

Thank you for the feedback!

We are working on a new version of the website, with HTTPS, and with better examples and a better layout.

I love your blog posts on LLMs, BTW! We've been experimenting with combining LLMs and miniKanren in various ways.