试用ADL语言编写一个算法，判断任一整数 n 是否为素数。

在ADL (Algorithm Design Language) 中，我们可以编写如下的算法来判断一个整数 `n` 是否为素数。ADL 是一种用于描述算法结构的语言，它强调算法的核心逻辑而不是底层细节。以下是基本的 ADL 算法描述：

algorithm IsPrime(n):
    // 定义输入和输出
    input: Integer n
    output: Boolean isPrime

    // 素数定义：大于1的自然数，除了1和它本身外，不能被其他正整数整除
    if n <= 1:
        return false
    else if n == 2:
        return true
    else if n % 2 == 0: // 偶数不是素数，除了2以外
        return false
    for i from 3 to sqrt(n): // 只需检查到n的平方根，节省计算
        if n % i == 0:
            return false
    return true

end algorithm

上面的算法首先处理一些基本情况（小于等于1的数和2的特殊情况），然后通过循环遍历从3到n的平方根，如果找到能整除n的因子，则n不是素数，返回false；如果没有找到，说明n是素数，返回true。