随笔分类 -  Datalog

Datalog 学习笔记
摘要：proof-theoretic ways to derive facts bottom up: starting from the known facts and deriving all possible new facts technique: fixpoint top-down: starti 阅读全文
posted @ 2021-03-22 16:27 &Yhao 阅读(1003) 评论(0) 推荐(0)