#ddlog

差分数据
Differential Datalog(github.com)
2021-3-20 15:45
DDLog是一种用于增量计算的编程语言。非常适合撰写撰写的程序，可响应输入更改而连续更新其输出。使用DDLog，程序员不需要担心编写增量algorithms.instead以声明方式使用Datalog的语句指定所需的输入输出映射。然后，DDLog编译器合成有效的增量实现.DDLOG基于Frank麦克斯里＆＃39; S......