![another word for content experts another word for content experts](https://image.slidesharecdn.com/justanotherwordpressweblog-butmorecloudy-100130042633-phpapp01/95/just-another-word-press-weblog-but-more-cloudy-4-728.jpg)
Now let's see what happens if there are only some parts of the values in the variables that are unrelated. This suggests that the unification is not successful, that is, the values of variable A and B are unequal. Here, two fully related values will be involved in the unification, which means that a simple comparison of values takes place.
![another word for content experts another word for content experts](https://img.haikudeck.com/mg/88A6F4E8-6C1D-4E3E-9523-92BEAFBC7973.jpg)
Unification as a comparison Goal A = 5, B = “yes” A = B. In the second line, the unification of the unbound variable B and the associated A will cause the value of the variable A to be transferred to the variable B. The result is the value of the variable A associated with the constant 5. Here, in the first line, the unification of the unbound variable with the value 5. At the same time, ProLog tries to bring both expressions to the same value.
![another word for content experts another word for content experts](https://getproofed.com/wp-content/uploads/2019/12/17.-Writing-Tips-Synonyms-for-Good-and-Bad-1024x537.png)
And if expressions with unrelated parts are involved in unification, these parts take values from the same parts of another expression. If one variable is not bound, then the value is equalized. Thus, if two variables are involved in the unification operation, and each is associated with its own value, then they are compared. In this case, unrelated values from one expression will be filled with values from another expression. Unification is the casting of expressions to the right and left of the unification sign to a single value. To begin with, the equal sign in the ProLog is used not as an equating operator, but as a unification operator. Example of writing a program Simple Expert System in ProLog language.