检查原子是否是小写字母

Question

我这样做是这样的：

foo(N) :-
        name(N, [Code]),
        name(a, [CodeA]),
        name(z, [CodeZ]),
        CodeA =< Code,
        Code  =< CodeZ.

有没有一种方法感觉不像这样的解决方法？

Answer 1

atom_is_lower(N) :-
    atom_chars(N, [L]),
    char_type(L, lower).

• atom_chars 将原子转换为字符列表。
• char_type 检查字符的类型。

请注意，第二部分（char_type）是必需的，因为单字符原子可以是数字（例如）。

Answer 2

一种选择是使用内置的 char_type/2 ，如果它遇到类型错误（例如，当输入长于一个符号时）并引发异常，则将异常转换为失败。

atom_is_lower(Atom) :-
    catch(char_type(Atom, lower), _, fail).

此解决方案还可以生成小写字母：

?- atom_is_lower(A).
A = a ;
A = b ;
A = c ;
A = d ;
A = e ;
...