This is a library which contains:
- Backward chaining algorithm
- Dependent type First order logic tree( unimplement yet )
- First order logic classes.
- Forward chaining algorithm
- Gentzen system
- Parser for parsing FOL.
- Resolution method
- Rete algorithm( unimplemented yet )
- Unify
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.