prolog：如何检查第一个字符是否为大写

Question

我想知道如何检查字符串的第一个字符在prolog中是否为大写。

Answer 1

[code_type/2，char_type/2是你的朋友：

?- String='Hello world',get_string_code(1,String,First),code_type(First,upper).
String = 'Hello world',
First = 72.

?- String="Hello world",get_string_code(1,String,First),code_type(First,upper).
String = "Hello world",
First = 72.

?- String=`Hello world`,get_string_code(1,String,First),code_type(First,upper).
String = [72, 101, 108, 108, 111, 32, 119, 111, 114|...],
First = 72.

这3个示例显示了不同类型的字符串，请注意，从SWI-Prolog v。7开始，只有最后一个可用。[]