如果--个素数的逆序仍是素数，称这两个素数为互逆序的素数对，例如，1031和1311为互逆序的素数对，编程求得1000~9999范围内的所有互逆序的素数对。

互逆序的素数对是指两个素数，当它们的数字顺序颠倒后仍然是素数。比如13和31、7和17等。要在1000到9999范围内找出所有这样的素数对，你需要编写一个程序，这个程序主要包括以下几个步骤：

1. **筛选素数**：首先，遍历给定范围内的每个数，检查它是否为素数。可以使用常见的素数判断算法，如埃拉托斯特尼筛法。

2. **记录原序和逆序**：对于找到的每个素数，同时记录其原序形式和逆序后的数字，如果两者都是素数，则标记为一对互逆序的素数。

3. **比较和存储**：检查记录的所有对，看是否有相同的原序和逆序素数，若有则保存成一对。

4. **结果输出**：最后，打印出所有的互逆序素数对。

以下是Python的一个简单示例实现：

def is_prime(n):
    if n < 2:
        return False
    for i in range(2, int(n**0.5) + 1):
        if n % i == 0:
            return False
    return True

# 初始化空列表来存储互逆序素数对
inverse_pairs = []

for num in range(1000, 10000):
    original = num
    reversed_num = int(str(num)[::-1])
    
    if is_prime(original) and is_prime(reversed_num):
        inverse_pairs.append((original, reversed_num))

# 输出互逆序素数对
for pair in inverse_pairs:
    print(f"({pair[0]}, {pair[1]})")