文件名称:souffle-haskell:Souffle数据记录语言的Haskell绑定
文件大小:207KB
文件格式:ZIP
更新时间:2024-03-29 05:23:08
C++
蛋奶酥 此存储库提供了Haskell绑定,可使用执行分析。 有趣的事实:该库结合了功能编程(Haskell),逻辑编程(Datalog / Souffle)和命令式/ OO编程(C / C ++)。 激励榜样 首先,让我们编写一个数据日志程序,该程序可以检查一个点是否可以从另一个点到达: // We define 2 data types: .decl edge(n: symbol, m: symbol) .decl reachable(n: symbol, m: symbol) // We indicate we are interested in "reachable" facts. // NOTE: If you forget to add outputs, the souffle compiler will // try to be smart and remov
【文件预览】:
souffle-haskell-master
----Setup.hs(47B)
----cbits()
--------souffle.h(9KB)
--------souffle.cpp(5KB)
--------souffle()
----.envrc(23B)
----.gitmodules(85B)
----nix()
--------souffle.nix(2KB)
--------packages.nix(303B)
----package.yaml(3KB)
----scripts()
--------analyze_headers.cpp(399B)
--------souffle_headers.sh(1KB)
----.circleci()
--------config.yml(629B)
----lib()
--------Language()
----souffle-haskell.cabal(8KB)
----default.nix(1KB)
----.hlint.yaml(2KB)
----LICENSE(1KB)
----README.md(9KB)
----Makefile(349B)
----shell.nix(117B)
----tests()
--------fixtures()
--------Test()
--------test.hs(90B)
----.gitignore(137B)
----souffle()
----CHANGELOG.md(5KB)