Prolog类型检查

Question

有没有办法确定Prolog中列表中元素的类型？我知道变量没有在Prolog中明确输入,但是我需要检查一个元素是一个数字,一个特定的字符等.这怎么能实现呢？

Answer 1

序言定义了一组内置的谓词的型式试验目的:var/1,atom/1,integer/1,float/1,atomic/1,compound/1,nonvar/1,number/1,所有的人都用相当不言自明的意义,如果你知道的语言的数据类型.对于特定字符,在检查元素不是自由变量之后,您可以利用与该字符的统一(否则统一始终成功).

Answer 2

你可以试试这个代码：

isList([_|_]).
isList([]).

希望能帮助到你。