will_byrd

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!

Comment · 1 year ago

Yes! Great artwork.

Comment · 1 year ago

Really?

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

Is there a naming connection to the Kansas thing?

Comment · 1 year ago

Thank you all for your comments! We are working on a new version of the website, with a new layout, better examples up front, and HTTPS.

Comment · 1 year ago

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.

Comment · 1 year ago

Alas, you'd still need the knowledge graphs. I hope the licensing issues for at least some of the KGs will be resolved soon. It's a tricky issue. Even some of the ontologies and controlled vocabularies in biomedicine can't be released publicly due to copyright restrictions (for example, full SemMedDB uses UMLS which uses SNOMED).

Comment · 1 year ago

Sorry about that.

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.

Comment · 1 year ago

You might find Chris Mungall's py-typedlogic interesting:

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

Comment · 1 year ago

Hi! Which paper were you trying to read?

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

Comment · 1 year ago

Here's another miniKanren-related livecode you might enjoy (both are thanks to Nada Amin's cool livecode.io tech!):

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

Comment · 1 year ago

Hi! I'm one of the miniKanren peeps. Happy to talk miniKanren and relational programming!

Comment · 2 years ago

Interesting comment. Would you mind expanding on that observation? Are there any references you'd suggest looking at that help make the connection more clear? Thank you!