Use most general unifier, =
| ?- date(D1, M1, 1983) = date(D2, map, Y2). D1 = _G157 M1 = map D2 = _G157 Y2 = 1983
