Nguồn loại 2 và chương trình Datalog - Lương Cao Đông.