This predicate melts a frozen term. A copy of the term to melt is made and that copy is melted. The third parameter is the dictionary to use for binary tree lookup.
see also: arg/3 copy_term/2 freeze/2 functor/3 get_term/2 number_vars/3 =../2
| Examples | |
| melt(a(var/1, var/1), M, Dict). | succeeds with the substitution M=a(__20, __20) |
| melt(a(var/1, var/2), M, Dict). | succeeds with the substitution M=a(__20, __36) |
| melt(a(var/1, vr/2), M, Dict). | succeeds with the substitution M=a(__73, vr/2) |