schelog by Dorai Sitaram https://ds26gte.github.io/schelog/index.html https://ds26gte.github.io/schelog/index.html is a classic version of a funtional/declarati

schelog by Dorai Sitaram https://ds26gte.github.io/schelog/index.html https://ds26gte.github.io/schelog/index.html is a classic version of a funtional/declarative hybrid as a purely operational artifact. apparently its still being updated, but I remember it from many years ago (early 90s?). it uses the ability to return multiple times from a continuation to allow sets of results (streams or solution trees) to be expressed directly in scheme and intermixed freely with the functional subset. a 'nice' mixture of declarative and procedural would be really slick. i should go back and look at mozart/oz again. I'll definately see if my limited ability to deal with formalisms lets me understand the type system proposed in Datafun.