Update DatalogGrammar.txt