clover:一个用 Common Lisp 编写的简单证明器，基于子句解析
需积分: 9 147 浏览量
2021-08-04
12:34:16
上传
评论
收藏 147KB ZIP 举报
clover-master.zip （66个子文件） 
clover-master 
.gitignore 109B README.md 3KB clover.asd 2KB clover-test.asd 1KB tests src rename.lisp 2KB parser.lisp 28KB types.lisp 2KB util.lisp 5KB search dfs.lisp 2KB iddfs.lisp 3KB extractor.lisp 2KB completion.lisp 6KB simplify.lisp 3KB resolution.lisp 8KB substitute.lisp 173B unify.lisp 27KB rendertree.lisp 10KB clover.lisp 18KB termorder.lisp 6KB rewrite.lisp 27KB
sample-refutation-tree.png 37KB run-all-tests.sh 3KB src rename.lisp 5KB repl util.lisp 2KB repl.lisp 11KB parser.lisp 8KB types.lisp 9KB util.lisp 7KB search dfs.lisp 965B iddfs.lisp 2KB extractor.lisp 1KB common.lisp 1KB completion.lisp 7KB simplify.lisp 4KB resolution.lisp 6KB substitute.lisp 2KB unify.lisp 13KB property.lisp 979B rendertree.lisp 5KB clover.lisp 2KB termorder.lisp 4KB rewrite.lisp 7KB conditions.lisp 2KB coverage 
8d1d843e6a33b7cf48d39dc4a949c2e3.html 72KB f700384ca0f6b57b2f49cd36c91f67d4.html 20KB afb2bdecd4f76d941d86faeecd309408.html 13KB 06d897bba16b93707e23e767df513519.html 17KB bd49f935c7b909d45144ce32865c0f94.html 61KB bef056e592e033ac2487c7f92ff3de68.html 13KB 01dbf5e2fa941ebade62b0823947a49a.html 17KB 3142b5e63bea9fb7db34fec89556b01a.html 46KB be40e2d0888cdee045667ee447431030.html 46KB 869e4060c15fdee03b9bba63bfa8e944.html 79KB affbde95283d3ecdb645ded54b9749cc.html 38KB 0e3358587562bf2e4115dabc02d60744.html 103KB 56d0e14293f0134bff24922b58b8a499.html 63KB 968cd2404c3dcb7079fdd967d03ea5c4.html 85KB 1e64eed09b900bcd49522f2ea9fd692f.html 11KB cover-index.html 5KB b5e5c23aac2f254f8336929ed9c40209.html 39KB a69e43450fc1d714c5f95aeff27260ae.html 18KB 6fb1c4a73f64d448d79d177e4234de6d.html 64KB acf3955adb34a279762ba3509f819598.html 16KB 710773cb2aa1d16e6bd4d12914b4bf87.html 34KB roswell clover.ros 460B .travis.yml 227B资源评论
