PLA:带回指实现的谓词逻辑
需积分: 5 179 浏览量
2021-06-11
04:53:21
上传
评论
收藏 30KB ZIP 举报
PLA-master.zip （22个子文件） 
PLA-master 
pom.xml 3KB LICENSE 11KB src test java org tariel pla sentence ConllWordTest.java 1KB main java org tariel pla sentence IWord.java 6KB ConllWord.java 18KB PLA.java 2KB App.java 2KB logics VariableStorage.java 3KB Quantifer.java 4KB Term.java 2KB IVariable.java 1KB classic ICFunction.java 1KB CConjunctionContainer.java 2KB CTerm.java 2KB CQuantifer.java 2KB CQuantifiedContainer.java 2KB ConjunctionContainer.java 4KB LogicVariable.java 2KB IFunction.java 1KB Proposition.java 2KB .gitignore 146B README.md 48B资源评论
