list - Prolog 类型检查

Question

有没有办法确定 Prolog 中列表中元素的类型？我知道在 Prolog 中没有明确输入变量，但我需要检查元素是否是数字、特定字符等。如何实现？

Answer 1

Prolog 定义了一组用于类型测试的内置谓词:var/1 , atom/1 , integer/1 , float/1 , atomic/1 , compound/1 , nonvar/1 , number/1 ，如果您了解该语言的数据类型，所有这些都具有不言自明的含义。对于特定字符，您可以在检查元素不是自由变量后利用与该字符的统一(否则统一总是成功的)。