补充之前没有太了解的一些 tricks，添加一下examples和description。 若是该文中没有提及的，推荐参考 官方Docs 还望见谅 总体上的语法： Program | Soufflé • A Datalog Synthesi…