https://github.com/namin/inc

We're working on it! Should have a new version of the site up within a few days.

Thanks!

We do have a monthly call of miniKanren/OCanren researchers from around the world, where someone presents on their research. If you are interested, please send me an email!

The word 'kanren' means 'relation' in Japanese, and was proposed by Oleg.

Is there a naming connection to the Kansas thing?

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.

mediKanren's source code is under MIT license, and is on GitHub. Alas, the knowledge graphs we use for mediKanren aren't produced by us, and often have very complex licenses (one KG might include knowledge from 80 or 100 databases, each with a different license). As a result, we can't just release the KGs that are needed to actually use mediKanren. Also, creating high-quality queries that take into account all the nuances and quirks of the KGs is tricky, and changes as the KGs and the Biolink standard evolve. As a result, mediKanren requires some expertise to use effectively, along with access to the KGs.

An application that uses mediKanren as a back-end (along with other reasoners) is the NIH NCATS Biomedical Data Translator:

https://ui.transltr.io/

Please keep in mind that both Translator and mediKanren are designed for researchers and for biomedical research, not for patient care or treatment recommendations.

https://py-typedlogic.github.io/

I'd be happy to try to explain anything you found confusing.

Perhaps this online tutorial would be a helpful start:

https://io.livecode.ch/learn/webyrd/webmk

https://io.livecode.ch/learn/gregr/icfp2017-artifact-auas7pp

Much of the success of miniKanren has been due to it not trying to be an Everything Language.

The most pragmatic variant of miniKanren, core.logic in Clojure, was popular because it didn't try to replace Clojure's behavior in general. Clojure programmers don't want to write a web server or financial application in a logic language, but might want just a bit of miniKanren-like reasoning in part of their application.

As pointed out by @giraffe_lady, pragmatic core.logic-like small embedded domain-specific language implementations in other popular languages would be useful.

The original motivation for miniKanren was to have a small, simple, easy to learn/teach/hack implementation of logic programming that could be taught to students learning functional programming in Scheme. microKanren in particular seems to have nailed this, especially since you can wrap macros around microKanren primitives to get miniKanren, and since microKanren can easily be implemented an almost any language. Once again, the fact that miniKanren and microKanren don't try to do everything is probably a key reason for their success from a teaching standpoint.

I also agree that having something similar to core.logic in many other languages would be useful.

Most miniKanren implementations in most languages were created in order for the implementor to better understand miniKanren or logic programming, or because the implementor wanted to experiment with miniKanren-related reseach ideas.

This split between a pragmatic implementation versus a small, simple to implement/understand/teach/hack implementation may be another legacy of miniKanren coming from the Scheme community, which has struggled with this dichotomy for decades.

The Clojure community is very pragmatic, and uses (or used?) core.logic more like an embedded Prolog than for purely relational programming like in most of the miniKanren research. The fact that core.logic doesn't try to do everything is a benefit in the eye of Clojure programmers, I believe.

I don't know to what extent core.logic is still used in the Clojure community. Datomic uses Datalog as a query language. I don't know if there any any projects that combine Datomic and core.logic; certainly both could be used in the same application.