Integration of declarative paradigms | lit.salon