没有合适的资源?快使用搜索试试~ 我知道了~
SxxMachine:一个简单的C ++ Prolog机器
共243个文件
h:60个
cpp:55个
java:55个
需积分: 5 0 下载量 173 浏览量
2021-05-02
08:51:55
上传
评论
收藏 1.14MB ZIP 举报
温馨提示
α-动物(X)。 X =山羊是吗? ?-findall(X,animal(X),L)。 请再输入一个动物名称:foo。 L = [山羊,大象,foo] X = _999999965_64bfbc86_X还可以吗?
资源推荐
资源详情
资源评论
收起资源包目录
SxxMachine:一个简单的C ++ Prolog机器 (243个子文件)
announce 1KB
.classpath 446B
cmake_install.cmake 1KB
COPYRIGHT 293B
sxx_builtins_cafe.cpp 1.05MB
asm.cpp 696KB
chat_parser.cpp 625KB
nand.cpp 219KB
simple_analyzer.cpp 216KB
sxx_system.cpp 163KB
reducer.cpp 151KB
boyer.cpp 135KB
sdda.cpp 102KB
sxx_library.cpp 82KB
unify.cpp 77KB
flatten.cpp 75KB
sxx_read.cpp 68KB
run.cpp 58KB
query.cpp 40KB
browse.cpp 40KB
poly_10.cpp 39KB
prover.cpp 39KB
meta_qsort.cpp 30KB
fast_mu.cpp 29KB
crypt.cpp 27KB
perfect.cpp 22KB
Builtins.cpp 21KB
mu.cpp 18KB
zebra.cpp 18KB
serialise.cpp 17KB
sendmore.cpp 17KB
derive.cpp 16KB
Lexer.cpp 15KB
queens_8.cpp 14KB
divide10.cpp 14KB
times10.cpp 13KB
log10.cpp 13KB
ops8.cpp 13KB
qsort.cpp 12KB
Prolog.cpp 11KB
nreverse.cpp 9KB
sxx_meta.cpp 8KB
Term.cpp 7KB
tak.cpp 6KB
PredTable.cpp 6KB
Fun.cpp 5KB
Var.cpp 3KB
Code.cpp 3KB
animal.cpp 3KB
Const.cpp 2KB
Metaterm.cpp 2KB
Continuation.cpp 1KB
Data.cpp 1KB
Real.cpp 1KB
Int.cpp 357B
HeapChoice.cpp 145B
IOperation.cpp 123B
Operation.cpp 77B
Undoable.cpp 76B
.cproject 4KB
docPrologFromJava 2KB
SxxMachine.vcxproj.filters 28KB
.gitignore 14B
.gitignore 12B
.gitignore 6B
sxx_builtins_cafe.h 262KB
asm.h 140KB
chat_parser.h 122KB
simple_analyzer.h 44KB
nand.h 42KB
sxx_system.h 40KB
reducer.h 31KB
boyer.h 31KB
sdda.h 23KB
sxx_library.h 21KB
Lexer.h 20KB
flatten.h 18KB
unify.h 18KB
run.h 18KB
sxx_read.h 14KB
query.h 10KB
poly_10.h 10KB
Builtins.h 10KB
browse.h 9KB
prover.h 9KB
meta_qsort.h 8KB
perfect.h 7KB
stringhelper.h 7KB
stringhelper.h 7KB
crypt.h 7KB
fast_mu.h 6KB
zebra.h 5KB
mu.h 5KB
Prolog.h 5KB
sendmore.h 5KB
serialise.h 5KB
queens_8.h 4KB
derive.h 4KB
qsort.h 4KB
Term.h 4KB
共 243 条
- 1
- 2
- 3
资源评论
黄文池
- 粉丝: 26
- 资源: 4635
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功