![](https://img-blog.csdnimg.cn/20201014180756922.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
Datalog
文章平均质量分 63
栏杆拍遍看吴钩
这个作者很懒,什么都没留下…
展开
-
【论文研读】Better Together:Unifying Datalog and Equality Saturation
EqSat本质上是将Rewrite和history同时保存然后获得二者的好处。文章还介绍了一些EqSat的扩展,例如,支持语义分析以增加Soundness。Multi-pattern,看起来是将pattern的过程并行了,有两篇文章是这方面的工作,但还没有达到更优。提高e-matching的效率,最近的技术是relational e-matching。原创 2024-02-05 22:32:33 · 724 阅读 · 0 评论 -
Datalog 否定逻辑规则
Datalog 否定逻辑实现原创 2024-01-23 14:47:58 · 335 阅读 · 0 评论