29 Unification in Prolog A structured term (predicate or function applied to arguments requires –Same predicate/function name –Same number of arguments –Arguments can be unified recursively .
{"Image DocumentName": "Unification in PrologA structured term (predicate or function applied to arguments requires. Same predicate/function name.", "Image ImageDescription": "Same number of arguments. Arguments can be unified recursively. ? f(X) = g(X) - can\u2019t match. ? f(X) = f(a,b) - can\u2019t match. ? f(a, g(X)) = f(Y, b) - can\u2019t match. ? f(a, g(X)) = f(Y, g(b)) = Y=a, X = b.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}