Install & Run: http://docs.vaticle.com/docs/running-typedb/install-and-run
New Features
Bugs Fixed
- Unifiers include type requirements for all variables
To ensure that answers are correctly filtered when only some of a rule's output are valid answers to the parent concludable, we must include type requirements on both thing and type variables in the unifier. This PR refactors and includes required types for all mapped variables in a unifier.
Code Refactors
- Simplify resolver answer cache execution flow
We improve the readability of the reasoner cache. This has been motivated by the need to easily reason when the reasoner will reiterate. In doing so we improve efficiency by omitting initialisation of a data traversal where cache subsumption can tell us that it is unnecessary to do so.