Prologos is a functional-logic language unifying dependent types, session types, linear types (QTT), logic programming, and propagators.