a proposal for a new functional, reactive, and logical programming language.