mymap(key1,value1). mymap(key2,value2). ?- mymap(key1,V). V = value1