文件名称:LinearOne:LinearOne是用于一阶(乘法,直觉)线性逻辑的原型定理证明器
文件大小:303KB
文件格式:ZIP
更新时间:2024-02-25 08:58:49
latex theorem-proving first-order-logic logic-programming swi-prolog
LinearOne:LinearOne是用于一阶(乘法,直觉)线性逻辑的原型定理证明器
【文件预览】:
LinearOne-master
----proof_generation.pl(47KB)
----tree234.pl(60KB)
----hybrid_case.pl(9KB)
----latex.pl(29KB)
----ll1_grammar.pl(3KB)
----lexicon.pl(9KB)
----portray_graph_dot.pl(1KB)
----dancing_links.pl(6KB)
----proof_generation_nd.pl(5KB)
----LICENSE(26KB)
----hybrid_grammar.pl(9KB)
----.DS_Store(6KB)
----options.pl(5KB)
----portray_graph_tikz.pl(7KB)
----lambek_grammar.pl(2KB)
----auxiliaries.pl(9KB)
----d_grammar_case.pl(8KB)
----ordset.pl(17KB)
----sem_utils.pl(18KB)
----.gitignore(446B)
----portray_graph_none.pl(241B)
----semantic_terms.pdf(187KB)
----Makefile(43B)
----translations.pl(33KB)
----mill1.tgz(40KB)
----README.md(3KB)
----d_grammar.pl(7KB)
----mill1.pl(31KB)
----replace.pl(5KB)