(For example, it is not possible to instantiate variable X to mia when unifying one pair of arguments, and to instantiate X to vincent when unifying another pair of arguments. the variable instantiations are compatible.all their corresponding arguments unify, and.They have the same functor and arity (number of arguments a complex term takes), and.If term1 and term2 are complex terms, then they unify if and only if:. (So if they are both variables, they’re both instantiated to each other, and we say that they share values.) Similarly, if term2 is a variable and term1 is any type of term, then term1 and term2 unify, and term2 is instantiated to term1.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |