这里是一个例子，使用Python编写了一个谓词 sqrt_list：

import math

def sqrt_list(NumberList, ResultList):
    for num in NumberList:
        ResultList.append((num, math.sqrt(num)))
    return ResultList

NumberList = [1, 4, 9, 16]
ResultList = []

sqrt_list(NumberList, ResultList)
print(ResultList)

输出结果为：

[(1, 1.0), (4, 2.0), (9, 3.0), (16, 4.0)]

在这个例子中，我们定义了一个函数 sqrt_list，它接受两个参数：NumberList和ResultList。NumberList是一个数字列表，ResultList是一个空列表。我们使用for循环遍历NumberList中的每个数字，使用math.sqrt()函数计算其平方根，并将数字和其平方根以元组的形式添加到ResultList中。

最后，我们调用sqrt_list()函数，将NumberList和ResultList作为参数传递进去，并打印ResultList的内容。