【文件属性】：
文件名称：scalogno:Scala中的原型逻辑编程
文件大小：19KB
文件格式：ZIP
更新时间：2021-05-11 00:14:44
scala metaprogramming logic-programming smt tabling
斯卡洛尼奥
APLAS'19（ ）中介绍的Scalogno。
4.3示例：表格图形评估
4.3范例
4.4定语从句语法（DFG）
4.4范例
超越APLAS：
all分支添加了一个SMT求解器作为后端，并将其与制表符结合在一起。 仍然需要进行工作以将组合重构为可组合的模块，并...在最短的路径之外找到杀手级应用。 :)
【文件预览】：
scalogno-aplas
----src()
--------test()
--------main()
----.sbtopts(81B)
----LICENSE(1KB)
----build.sbt(173B)
----README.md(2KB)