[anentropic]

No idea if related in any meaningful way, but https://github.com/rust-lang/chalk/tree/master/chalk-engine/... (a "PROLOG-like logic solver" for the Rust trait system) also makes use of "strands"

[QuinnWilton]

Oh thank you for sharing! I've never come across this, but there's some great references in the README I'll have to go through.