Functional logic programming was all the rage when i started my career 30 years or so ago, but besides some obscure use cases it did not have a lot of success - i wonder if this will be the killer app.