没有合适的资源?快使用搜索试试~ 我知道了~
scalogno:Scala中的原型逻辑编程
共12个文件
scala:8个
license:1个
sbt:1个
需积分: 5 0 下载量 53 浏览量
2021-05-11
00:14:44
上传
评论
收藏 19KB ZIP 举报
温馨提示
斯卡洛尼奥 APLAS'19( )中介绍的Scalogno。 4.3示例:表格图形评估 4.3范例 4.4定语从句语法(DFG) 4.4范例 超越APLAS: all分支添加了一个SMT求解器作为后端,并将其与制表符结合在一起。 仍然需要进行工作以将组合重构为可组合的模块,并...在最短的路径之外找到杀手级应用。 :)
资源推荐
资源详情
资源评论
收起资源包目录
scalogno-aplas.zip (12个子文件)
scalogno-aplas
src
test
scala
scalogno
tabling.scala 9KB
core.scala 19KB
deriv.scala 2KB
main
scala
scalogno
tabling.scala 4KB
core.scala 11KB
meta.scala 4KB
engine.scala 9KB
deriv.scala 782B
.sbtopts 81B
LICENSE 1KB
build.sbt 173B
README.md 2KB
共 12 条
- 1
资源评论
水瓶座的兔子
- 粉丝: 26
- 资源: 4469
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功