Remove useless counter in DefaultUnifier
Avoid passing null into unification when property not found.
Code reorg.
predefinedAtoms capability
Management of java collections delegated to TermAdapter.
createPList() will allow Iterable not List.
Hold a reference to PrologImplementation.
Delegate instantiation of atoms to TermAdapter.
Parser holds directly a reference to PrologImplementation.