@Nick Smith IIRC, their new work is all against Dyna-R, for which there's another repo. (No time to go hunting just now.)

I've found the Dyna-R repo. The authors sent me the link after I inquired about the other abandoned codebase. They've recently published a paper that covers some of the theory behind the latest implementation.

I'm generally familiar with this area of inquiry. 🙂

Do you have any thoughts on Dyna? What do you think about "weighted logic" -- its approach to aggregation (sum, product, min, max)? I've never seen an approach like this until now. It seems useful as a general programming paradigm.

I have my opinions, but previous interactions have suggested to me that it's better for you to have a play and find out for yourself. 🙂

Weighted logic as a first class idea sounds interesting

Yes I did get this implementation to run, but I’ve relegated a deeper exploration to my backlog. I’m more generally focused on developing an understanding of possibilities for language semantics, and Dyna is one of a few sources of inspiration.

Found this presentation on youtube: