prolog instance stored in map, query result correct