ユニフィケーション
z & y = ? f ( x ) {\displaystyle x{\stackrel {?}{=}}z\And y{\stackrel {?}{=}}f(x)} の単一子は { x ↦ z , y ↦ f ( z ) } {\displaystyle \{x\mapsto z,y\mapsto f(z)\}} である。この場合、
x { x ↦ z , y ↦ f ( z ) } = z = z { x ↦ z , y ↦ f ( z ) } = z {\displaystyle x\{x\mapsto z,y\mapsto f(z)\}=z=z\{x\mapsto z,y\mapsto f(z)\}=z}
y { x ↦ z , y ↦ f ( z ) } = f ( z ) = f ( x ) { x ↦ z , y ↦ f ( z ) } = f ( z ) {\displaystyle y\{x\mapsto z,y\mapsto f(z)\}=f(z)=f(x)\{x\mapsto z,y\mapsto f(z)\}=f(z)}
となる。