摘要：egglog：统一Datalog和等饱和（EqSat）的修正点推理系统
作者：Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey
论文ID：2304.04332
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-05-17
PDF 下载： 英文版 中文版pdf翻译中