Thanks! Yes, there's a real connection between concatinative languages and logic languages. In some sense you can think of a concatinative logic language as Jo

Thanks! Yes, there's a real connection between concatinative languages and logic languages. In some sense you can think of a concatinative logic language as Joy with the ability to push "unknown" values onto the stack, as well as a few constraint manipulatives. That's somewhat orthogonal, but it makes sense an interpreter for Joy would be quite compact in prolog. Thanks for the links, I'll review your work later!