MultiResult is an Iterator, not an Iterable.
Rename method to unifyAndNotify()
Cosmetics (renaming)
this.termAdapter may be null
MultiResult in different package.
ListMultiResults and experiments.
ListMultiResults handled in Solver (prototype).
assertFact() renamed assertClause()
Comments
POJOs are also valid terms now
Comments.
Comments.
Test resources documentation.