I'm actually very interested in the Prolog prototype - especially on how it's done and how do they iterate the design. Does anyone have any information about it?
found that link here:
https://thenewstack.io/why-erlang-joe-armstrongs-legacy-of-f...
It's not working for me right now, but you may have better luck.