没有合适的资源?快使用搜索试试~ 我知道了~
ReadLogic:ReadLogic 是一个用于解析逻辑表达式(ISO Prolog 语法)的小型开源库,用 Scala 编程...
共15个文件
scala:10个
properties:1个
md:1个
需积分: 9 0 下载量 181 浏览量
2021-06-05
18:45:08
上传
评论
收藏 28KB ZIP 举报
温馨提示
读取逻辑 ReadLogic是一个用于解析逻辑表达式(ISO Prolog 语法)的小型开源库,使用。 执照 根据 Apache 许可,版本 2.0(“许可”)获得许可; 除非遵守许可,否则您不得使用此文件。 您可以从获得许可证的副本。 除非适用法律要求或书面同意,否则根据许可分发的软件是按“原样”分发的,没有任何类型的明示或暗示的保证或条件。 请参阅许可证以了解管理许可证下的许可和限制的特定语言。 编译说明 为了从源代码构建ReadLogic ,您需要在系统中安装 Java(版本 7 或更高版本)和 。 要编译项目,请键入以下命令: $ sbt compile 要将ReadLogic发布到本地 Apache Ivy 目录(例如,在 ~/.ivy2/local/ 中),请键入以下命令: $ sbt publishLocal 发布过程后,您可以通过添加以下依赖项来链接到sbt项目中
资源推荐
资源详情
资源评论
收起资源包目录
ReadLogic-master.zip (15个子文件)
ReadLogic-master
src
test
scala
readlogic
prolog
AtomSpecTest.scala 12KB
InfixOperatorsSpecTest.scala 2KB
RuleSpecTest.scala 3KB
AtomSignatureSpecTest.scala 1KB
TermsSpecTest.scala 16KB
main
scala
readlogic
prolog
PrologParser.scala 14KB
Term.scala 7KB
Formula.scala 5KB
package.scala 9KB
AtomSignature.scala 3KB
build.sbt 958B
.gitignore 816B
project
build.properties 19B
README.md 1KB
LICENSE.txt 11KB
共 15 条
- 1
资源评论
八年一轮回
- 粉丝: 48
- 资源: 4726
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功