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.