Uogólnianie przez unifikację