没有合适的资源?快使用搜索试试~ 我知道了~
term_util:使用 Prolog 术语的谓词
共9个文件
pl:5个
md:2个
license:1个
需积分: 8 0 下载量 109 浏览量
2021-06-20
02:49:15
上传
评论
收藏 5KB ZIP 举报
温馨提示
概要 :- use_module(library(term_util)). main :- % give one motivating example true. 描述 安装 使用 SWI-Prolog 6.3 或更高版本: ?- pack_install(term_util). 源代码可用,并在接受拉取请求 该模块使用。
资源推荐
资源详情
资源评论
收起资源包目录
term_util-master.zip (9个子文件)
term_util-master
t
control.pl 162B
map_args.pl 379B
simplify.pl 1KB
pack.pl 370B
LICENSE 1KB
prolog
README.md 12B
term_util.pl 3KB
README.md 360B
.gitignore 9B
共 9 条
- 1
资源评论
李青廷Austin
- 粉丝: 21
- 资源: 4612
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功