發送短信 : Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ Datalog

           _    _      _____    ______   __   __  
  ____    | || | ||   / ___//  /_   _//  \ \\/ // 
 |    \\  | || | ||   \___ \\   -| ||-    \   //  
 | [] ||  | \\_/ ||   /    //   _| ||_    / . \\  
 |  __//   \____//   /____//   /_____//  /_//\_\\ 
 |_|`-`     `---`   `-----`    `-----`   `-`  --` 
 `-`