# 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 جملات دقیقاً شبیه هم باشند و همزمان پارامترها بتوانند متحد گردند.