unify_internal unify_internal(x,y,mu) ---------------------- Cases
{"Image DocumentName": "unify_internal unify_internal(x,y,mu) Cases", "Image ImageDescription": "1.if (mu=failure) then return failure. 2.if (x=y) then return mu. 3.if (isa_variable(x)) then return unify_variable(x,y,mu) 4.if (isa_variable(y)) then return unify_variable(y,x,mu) 5.if (isa_compound(x) and isa_compound(y)) then return. unify_internal(args(x),args(y),unify_internal(op(x),op(y),mu)) 6.if (isa_list(x) and isa_list(y)) then return. unify_internal(tail(x),tail(y),unify_internal(head(x),head(y),mu)) 7.return failure.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}