microkanren-pharo:µKanren for Pharo 的实现
需积分: 8 25 浏览量
2021-06-21
21:36:09
上传
评论
收藏 107KB ZIP 举报
microkanren-pharo:µKanren for Pharo 的实现 （233个子文件） 
.filetree 107B .filetree 107B .filetree 69B methodProperties.json 1KB methodProperties.json 832B methodProperties.json 828B methodProperties.json 760B methodProperties.json 504B methodProperties.json 498B methodProperties.json 454B methodProperties.json 428B methodProperties.json 372B methodProperties.json 340B methodProperties.json 336B properties.json 298B properties.json 289B methodProperties.json 284B properties.json 271B methodProperties.json 269B properties.json 268B properties.json 266B properties.json 266B properties.json 265B properties.json 261B properties.json 260B properties.json 256B properties.json 252B properties.json 252B methodProperties.json 249B properties.json 245B methodProperties.json 245B properties.json 244B methodProperties.json 238B properties.json 235B properties.json 235B methodProperties.json 232B properties.json 225B methodProperties.json 224B properties.json 221B properties.json 220B properties.json 218B properties.json 218B properties.json 217B methodProperties.json 182B methodProperties.json 125B methodProperties.json 125B methodProperties.json 103B methodProperties.json 84B methodProperties.json 83B properties.json 39B properties.json 23B properties.json 6B properties.json 6B LICENSE 1KB README.md 472B README.md 339B README.md 290B README.md 234B README.md 188B README.md 168B README.md 158B README.md 149B README.md 143B README.md 131B README.md 126B README.md 99B README.md 70B README.md 60B README.md 28B README.md 25B README.md 0B README.md 0B README.md 0B README.md 0B README.md 0B README.md 0B README.md 0B package 30B package 20B install-deps.sh 719B install-pharo.sh 190B script.st 475B runAnsweringAtMost..st 423B testConsWithFreshVarsReifiesDeeply.st 360B take..st 321B delayed..st 317B valueAt.ifAbsent..st 292B ^comma.st 290B testBoundedRunReturnsRequestedResults.st 266B unifyWithCons.on..st 257B testUnboundedRunReturnsAllResults.st 239B asOrderedCollection.st 234B asOrderedCollection.st 232B testCreateNFreshVarsWithFactoryMethod.st 228B testBoundVarFailsToUnifyWithBoundVarIfValuesDontUnify.st 221B testBoundVarUnifiesWithBoundVarIfValuesUnify.st 217B testConsUnifiesWithConsWithBoundVar.st 217B bind.to..st 216B unify.with..st 214B testConsUnifiesWithConsWithFreshVars.st 211B共 233 条
- 1
- 2
- 3
资源评论
