Unifiziert alle Literale in einem Vector (of Literal)
per 'Robinson-Algorithmus' (1965).
Die Methode liefert also den allgemeinsten Unifikator (als String).
Sollten die Literale im Vector nicht unifizierbar sein,
wird statt des Unifikators eine Fehlermeldung zurueckgegeben.
Zusaetzlich werden statische Variablen gesetzt, die beschreiben:
- Das unifizierte Literal als String ( Getter: getUni_lit() )
- Die Unifizierbarkeit der Literale als boolean ( Getter: isUnifiziert() )