Class Unify

All Implemented Interfaces:
Named

public class Unify extends IsEqual
Operator to unify two values, in the logic programming sense. If a value or sub-value is a blank promise, it is bound or linked.