the status is that the part equivalent to datalog has no more known bugs except performance bugs. in other words, two more things are left to be done:
1. support negation (correctly as the code now handles it incorrectly)
2. improve performance
after those two steps tml will be released. i expect it to be highly appealing to various technical groups and needs, e.g. bdd-based (binary decision diagrams) database (cf. datalog with bdd and its advantages), and, apparently the first implementation ever of partial fixed point logic over finite domains, and, a metalanguage that can redefine itself (not easy to come up with such which is decidable!), and, a language adequate to be the language of law. to be the language of law we require 3 things: decidability, self reference (to be able to tell which law or legislation is legal), and ability to change laws with time (i.e. deletion). btw can see the license to use tml in the first lines here https://github.com/IDNI/tau/blob/master/tml.cpp and i intend to ask for payment for commercial/blockchain license in AGRS where applicable.
this all in very short. can refer to the last 3 blogposts for more information, or to ask me anything on irc (##idni at freenode), or here.