如何检查列表元素的类型 [英] How to check type of a list element

问题描述

有没有办法在PROLOG中确定列表中元素的类型？我知道在PROLOG中没有显式键入变量，但我需要检查元素是数字还是特定字符等。如何才能做到这一点？

推荐答案

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

这篇关于如何检查列表元素的类型的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！