![]() At the same time, ProLog tries to bring both expressions to the same value. 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.
0 Comments
Leave a Reply. |