主要观点：作者通过观看关于 Datalog 的会议演讲并阅读相关资料，尝试实现 Datalog 查询引擎，介绍了 Datalog 的基本概念、数据结构（三元组）、查询语法、与 Prolog 的区别等，还展示了如何处理简单和复杂的查询，包括多个 where 子句的情况，但指出当前实现存在局限性，未支持规则和递归查询等功能。

关键信息：

• 数据用实体、属性、值三元组描述，数据库为三元组列表，在内存中存储为列表的列表。
• 查询语法类似 SQL，有find和where子句，变量用问号开头，结果以集合形式返回。
• Datalog 是声明式逻辑编程语言，常用作演绎数据库的查询语言，有事实和规则，可根据信息推导出结果。
• 实现查询引擎时，通过模式匹配处理查询与数据库事实的匹配，有match和select函数，还处理了多个 where 子句的情况。
• 当前实现基本，不支持规则和递归查询等功能，可参考[Learn Datalog Today]学习更多。

重要细节：

• 示例代码展示了不同的查询及其结果，如查找特定用户的用户名、用户 ID 等。
• 介绍了如何将三元组存储转换为 Datalog 事实，如[e a v] -> a(e, v)。
• 处理多个 where 子句时，通过find-variable-facts、variable->fact等函数找到满足每个模式的事实，并通过merge-variable->facts函数合并变量绑定。
• 展示了包含多个变量和多个 where 子句的复杂查询及其结果，如查找特定用户的邮箱、用户和邮箱等。
• 指出当前实现的局限性，如不支持包含or的复杂查询和递归查询等。