First order logic prover

This is a library which contains:

Dependency: See .pro. Use a lot of C++1y feature so need a good compiler.

Build: This is a header only library. Include the header you want.

Document: Just ask in issue. I'm not writing documents if no one seems interested.

Name		Name	Last commit message	Last commit date
Latest commit History 117 Commits
forward		forward
implementation		implementation
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
TMP.hpp		TMP.hpp
atomic_sentence.hpp		atomic_sentence.hpp
constant.hpp		constant.hpp
converter.hpp		converter.hpp
definite_clause.hpp		definite_clause.hpp
first_order_logic.hpp		first_order_logic.hpp
first_order_logic_prover.pro		first_order_logic_prover.pro
function.hpp		function.hpp
function_output_iterator.hpp		function_output_iterator.hpp
gentzen_system.hpp		gentzen_system.hpp
knowledge_base.hpp		knowledge_base.hpp
main.cpp		main.cpp
named_parameter.hpp		named_parameter.hpp
praser.hpp		praser.hpp
predicate.hpp		predicate.hpp
proof_tree.hpp		proof_tree.hpp
resolution.hpp		resolution.hpp
sentence.hpp		sentence.hpp
sentence_helper.hpp		sentence_helper.hpp
substitution.hpp		substitution.hpp
term.hpp		term.hpp
term_generator.hpp		term_generator.hpp
test.hpp		test.hpp
variable.hpp		variable.hpp

NicozRobin/first_order_logic_prover