Viewing profile — will_byrd

Nada Amin has a nice implementation of Aziz's approach, with tests: https://github.com/namin/inc

Thanks. We're working on an improved site with HTTPS. Coming very soon, I hope!

Yes, that's enough reason to upgrade. We're working on it! Should have a new version of the site up within a few days. Thanks!

I haven't held any hangouts online for years, although I'd consider restarting them if there is interest. We do have a monthly call of miniKanren/OCanren researchers from around th…

Yes! Great artwork.

Really? The word 'kanren' means 'relation' in Japanese, and was proposed by Oleg. Is there a naming connection to the Kansas thing?

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.

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 bee…

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 co…

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 compl…

You might find Chris Mungall's py-typedlogic interesting: https://py-typedlogic.github.io/

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/…

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

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

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!

I think that's a fair comparison. I have always loved Pascal, BTW!

I agree. 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 …

I agree that core.logic seems to have found a sweet spot as a pragmatic embedded domain-specific language. If core.logic had tried to replace more of the Clojure functionality, or …

One success story of core.logic was its use in Threat Grid's software, which apparently ran core.logic on a cluster. Threat Grid was bought out by Cisco for an undisclosed--but app…

I second the recommendation for 'Simply Logical'!

Hi! I wrote this description. Happy to answer and questions. I'll also comment on the comments!

I love that the code is so short and understandable. Could be turned into a Pearl.

Used in both a short miniKanren tutorial: https://io.livecode.ch/learn/webyrd/webmk and in an interactive version of the 2017 ICFP pearl on miniKanren: https://io.livecode.ch/learn…

> Oh gosh, don't do that to me :) I just finished submitting my second paper and I have to write my thesis, plus another couple of side projects already and a hell of a lot of work…

The Gödel programming language from Patricia Hill and John W. Lloyd is, to me, a good example of what a Prology language would look like, if designed from the ground-up for relatio…