Similarly, a term can be unified with another term if the top function symbols and arities of the terms are identical and if the parameters can be unified simultaneously.
به‌طور مشابه، یک جمله زمانی می‌تواند با جمله دیگری یکسان شود که top function symbols و arities جملات دقیقاً شبیه هم باشند و هم‌زمان پارامترها بتوانند متحد گردند.