Listening to Alex's answers on spec2 on the Clojure Stream on modeling relationships between functions' inputs and outputs, have you considered using a relational language? E.g. datalog?