https://futureofcoding.org/ logo
#linking-together
Title
# linking-together
n

Nilesh Trivedi

01/29/2024, 11:24 PM
http://dyna.org/ - a logic programming language that goes further than Datalog/Prolog in that it allows for flexible execution orders and for rules in the program to be "_weighted_".
j

Jason Morris

01/29/2024, 11:47 PM
What does weighted mean, in this context? I don't grok the implications.
k

Kartik Agaram

01/30/2024, 1:12 AM
My immediate interpretation is that if multiple rules are applicable at a point in the execution, you can bias for or against one of them. Conventional non-determinism enforces a uniform distribution of applicable rules.
j

Jason Morris

01/30/2024, 2:02 AM
I can't imagine what biasing in favor of a rule could possibly mean that is helpful, though. Wondering if it's worth reading the paper to find out.
n

Nick Main

01/30/2024, 8:24 PM
After peeking at some of the papers linked from the Dyna page, and googling for "weighted logic", it seems to be that solutions also carry a weight, not just a binary success/fail.
k

Kartik Agaram

01/30/2024, 8:24 PM
j

J. Ryan Stinnett

01/31/2024, 11:26 AM
I am curious about this language, but the website seems kind of bare-bones, so I am having trouble working out the value of it... Has anyone encountered more user-focused documentation?
w

wtaysom

01/31/2024, 12:09 PM
Dyna3Link coming soon. A new implementation of the Dyna programming language written in Clojure. This implementation is a redesign of Dyna-R to be faster and more feature complete.
But how soon?