langston-barrett/dlsubst
A naïve, bottom-up Datalog interpreter based on explicit substitutions, rather than relational joins. Just an experiment, not an efficient engine!
正在读取项目信息…
开源雷达国内 GitHub 镜像站
加速通道已就绪
返回列表
开源雷达国内 GitHub 镜像站
A naïve, bottom-up Datalog interpreter based on explicit substitutions, rather than relational joins. Just an experiment, not an efficient engine!