文件名称：hsdatalog：基于BDD的Datalog实现
文件大小：31KB
文件格式：ZIP
更新时间：2024-02-23 06:52:42
compiler bdd datalog logic-programming relational-databases
hsdatalog：基于BDD的Datalog实现
【文件预览】：
hsdatalog-master
----src()
--------Datalog()
--------Datalog.hs(2KB)
----test.datalog(594B)
----default.nix(233B)
----LICENSE(554B)
----test()
--------Main.hs(202B)
--------Test()
----README.md(152B)
----Makefile(481B)
----.nix()
--------disjoint-sets.nix(692B)
--------nixpkgs.nix(1012B)
--------cudd()
--------vector-circular.nix(617B)
----.stylish-haskell.yaml(792B)
----shell.nix(112B)
----.gitignore(258B)
----CHANGELOG.md(114B)
----hsdatalog.cabal(2KB)