Strand Programming Language

Their implementation approach is interesting: they have their own custom Forth implementation, with a kernel written in assembly language (ARM, aarch64, x86_64 and ppc64le). Then Strand is written in a mixture of Forth and itself.

A sample from their user manual[0]:<p><pre><code> % print even numbers between 1 and 10 main :- count(1). count(11). count(N) :- N =&lt; 10 | even(N), N2 is N + 1, count(N2). even(N) :- M is N \\ 2, even(M, N). even(0, N) :- writeln(N). even(_, _) :- otherwise | true. </code></pre> [0] <a href="http:&#x2F;&#x2F;www.call-with-current-continuation.org&#x2F;strand&#x2F;MANUAL" rel="nofollow">http:&#x2F;&#x2F;www.call-with-current-continuation.org&#x2F;strand&#x2F;MANUAL</a>

From the same author, and in the same family of languages, is FLENG: <a href="http:&#x2F;&#x2F;www.call-with-current-continuation.org&#x2F;fleng&#x2F;fleng.html" rel="nofollow">http:&#x2F;&#x2F;www.call-with-current-continuation.org&#x2F;fleng&#x2F;fleng.ht...</a><p>It lacks Strand&#x27;s distributed features but includes prolog&#x27;s unification.

I wasn&#x27;t involved, but I remember considerable interest in Strand from parallel programming people in the lab about the time it appeared. I don&#x27;t think that lasted long, but unfortunately I don&#x27;t remember why it failed (if I knew then).<p>SISAL was probably a better bet as a dataflow-ish language, but I don&#x27;t remember anyone else looking at it, despite Manchester being &quot;just&quot; down the road.

No idea if related in any meaningful way, but <a href="https:&#x2F;&#x2F;github.com&#x2F;rust-lang&#x2F;chalk&#x2F;tree&#x2F;master&#x2F;chalk-engine&#x2F;src" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;rust-lang&#x2F;chalk&#x2F;tree&#x2F;master&#x2F;chalk-engine&#x2F;...</a> (a &quot;PROLOG-like logic solver&quot; for the Rust trait system) also makes use of &quot;strands&quot;

I find this fascinating, if a bit incomprehensible, but what might an intended use case be?

A good introduction to concurrent logic languages:<p>Parlog86 and the dining logicians G. A. Ringwood Communications of the ACM January 1988 <a href="https:&#x2F;&#x2F;doi.org&#x2F;10.1145&#x2F;35043.35044" rel="nofollow">https:&#x2F;&#x2F;doi.org&#x2F;10.1145&#x2F;35043.35044</a><p><a href="https:&#x2F;&#x2F;dl.acm.org&#x2F;doi&#x2F;10.1145&#x2F;35043.35044" rel="nofollow">https:&#x2F;&#x2F;dl.acm.org&#x2F;doi&#x2F;10.1145&#x2F;35043.35044</a>

From the User&#x27;s Manual:<p><pre><code> 三個和尚沒水喝 (Chinese Proverb)</code></pre>