https://9dok.net/document/yngm94np-functional-logic-programming-with-databases.html