will_byrd

7 ms·

1.
by will_byrd 5mo ago
Nada Amin has a nice implementation of Aziz's approach, with tests: https://github.com/namin/inc
2.
by will_byrd 2y ago
Thanks. We're working on an improved site with HTTPS. Coming very soon, I hope!
3.
by will_byrd 2y ago
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!
4.
by will_byrd 2y ago
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 the world, where someone presents on their rese
5.
by will_byrd 2y ago
Yes! Great artwork.
6.
by will_byrd 2y ago
Really? The word 'kanren' means 'relation' in Japanese, and was proposed by Oleg. Is there a naming connection to the Kansas thing?
7.
by will_byrd 2y 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.
8.
by will_byrd 2y 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
9.
by will_byrd 2y 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
10.
by will_byrd 2y 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
11.
by will_byrd 2y ago
You might find Chris Mungall's py-typedlogic interesting: https://py-typedlogic.github.io/
12.
by will_byrd 2y 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
13.
by will_byrd 2y 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
14.
by will_byrd 2y ago
Hi! I'm one of the miniKanren peeps. Happy to talk miniKanren and relational programming!
15.
by will_byrd 2y 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!
16.
by will_byrd 3y ago
I think that's a fair comparison. I have always loved Pascal, BTW!
17.
by will_byrd 3y ago
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 because it didn't try to replace Clojure's beh
18.
by will_byrd 3y ago
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 had tried to be a stand-alone Everything Language, I doubt
19.
by will_byrd 3y ago
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 apparently large--amount of money. The Clojure community
20.
by will_byrd 3y ago
I second the recommendation for 'Simply Logical'!
21.
by will_byrd 3y ago
Hi! I wrote this description. Happy to answer and questions. I'll also comment on the comments!
22.
by will_byrd 3y ago
I love that the code is so short and understandable. Could be turned into a Pearl.
23.
by will_byrd 4y ago
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/gregr/
24.
by will_byrd 5y ago
> 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 on my Louise ILP system. Maybe we can talk about th
25.
by will_byrd 5y ago
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 relational programming. I also suspect lambdaProlog would make for
26.
by will_byrd 5y ago
> In general, my opinion is that Prolog's approach is pragmatic, but it was designed in the 1970's when hardware was weaker. With modern hardware, there may be different options that better address the need for purity without s
27.
by will_byrd 5y ago
Hi Kamaal! I know Cisco is using core.logic, which is David Nolen's Clojure variant of miniKanren, in their ThreatGrid product. I think the Enterprisey uses of mediKanren are a bit different than the purely relational programming that
28.
by will_byrd 5y ago
This paper and prototype educational system was based on Barliman: `Towards Answering "Am I On the Right Track?" Automatically using Program Synthesis` Molly Q Feldman, Yiting Wang, William E. Byrd, François Guimbretière, & Er
29.
by will_byrd 5y ago
Hi YeGoblynQueenne, I always read your logicy comments and posts--thank you! > To clarify, that's incompleteness. Unsoundness is when an inference rule returns wrong results. Incompleteness is where it doesn't return all correc
30.
by will_byrd 5y ago
For anyone who finds this topic interesting, you might be interested in the following resources: http://minikanren.org/ The second edition of `The Reasoned Schemer` (MIT Press, 2018): https://mitpress.mit.edu&#x2

More ›