Quote from: ohad on January 08, 2019, 12:30:30 AM

Quote from: KeyMaster on January 08, 2019, 12:00:41 AM

Yes, there are continues updates of the code. But the problem here is how can we know if it is doing what it really intends to do? Having a ballpark status of the tml coding would be great for the community. Thanks!

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.

HAHAHAHHA
The taliban Jihad Asshor has come out of hiding with more blah blah lies.

Year 2017 he said :
15:25 < naturalog> high quality innovative and useful (for various industries) code will be on github this year that's for sure

Now year 2019 he says:
"and i intend to ask for payment for commercial/blockchain license in AGRS where applicable."

February 2018 he said:
6:16 < naturalog> we got Liaomiao karov isar judith handling lots of things including finding new exchange

Any exchange ?
What is going on with the thousands BTC you took ?
You hired devs?You payed for exchange? You updated your website thats it.
Same old 5 clowns parade, Jihad,Karov, Dana Edwards,Miao and Victorc.