?- mymap(key1, Y).
Y = value1.

?- mymap(X, value1).
X = key1 ;
X = key2.