Open UltimatePea opened 2 years ago
nobodxbodon
commented
2 years ago 谢谢关注。之前也了解到了SPARQL和datalog在知识库中的应用，尚未深入研究，但似乎主要是用于查询而非推导。
推导相关的原打算在需要时转换为逻辑式或相关语言，在知乎向千里冰封 咨询过 使用Arend对“180摄氏度是 x 华氏度”的断言进行验证的可行性。可惜一直还没添上相关用例。如何结合多个语言后端感觉是个挑战。
现在在第二个用例（找大文件）犹豫了很久（琐事也有影响）。牵涉到文件相关操作，本属于标准库的功能。比如要赋予“文件”一词多少内置语义、是否有其他语境下的含义（也许暂时仅指计算机文件系统）等。
UltimatePea
commented
2 years ago Arend 的 那个 验证本质上和 Prolog/Datalog 是差不多的。 只是类型系统复杂度方面略有不同，不过在知识库领域的应用应该差不多。
nobodxbodon
commented
2 years ago 推导方面估计要置后了，至少把这个文件用例先完成。 对了最近看到另一个语言设计项目：https://gitee.com/linux_23/kaelang
学术上通常用Prolog 或者 Datalog 来实现自动搜索量之间的关系。