[27-06-13] Unification for literals and predicates added.