datalog tokenizer

肯定有问题。