Do you have the bounty program?
i'll give 1btc to whoever performs knuth-bendix completion algorithm (manually or automatically) for both I-DATALOG and P-DATALOG as defined in chapter 9 of
http://www.springer.com/us/book/9783540287872offer limited till the end of this year.