解决 1+N 查询问题：用 Datalog 思路设计查询语言