文件名称：scalogno:Scala中的原型逻辑编程
文件大小：19KB
文件格式：ZIP
更新时间：2024-05-30 18:01:24
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)