我声明了一种对象类型，如下所示:
type([coffee, tea, lemonade, water, coke, beer]: drink).
如何获取 drink 类型的所有对象的列表？
最佳答案
您可以使用统一，例如:
type(<b>L</b> : drink).这会将 L 与该列表统一起来，例如:
?- type(L: drink).
L = [coffee, tea, lemonade, water, coke, beer].
话虽如此，这里使用冒号(:)并不常见，通常使用不同的参数。此外，列表实际上也不是很常见，因为您因此无法轻松检查茶的类型。
更惯用的写法是:
type(coffee, drink).
type(tea, drink).
type(lemonade, drink).
type(water, drink).
type(coke, drink).
type(beer, drink).
例如，我们可以查询 drink 类型的元素:
?- type(D, drink).
D = coffee ;
D = tea ;
D = lemonade ;
D = water ;
D = coke ;
D = beer.
或者查询水的类型是什么:
?- type(water, T).
T = drink.
检查报纸或可乐是否是饮料:
?- type(newspaper, drink).
false.
?- type(coke, drink).
true.
并枚举所有项目及其类型:
?- type(X, T).
X = coffee,
T = drink ;
X = tea,
T = drink ;
X = lemonade,
T = drink ;
X = water,
T = drink ;
X = coke,
T = drink ;
X = beer,
T = drink.
然后您可以使用 findall/3 [swi-doc] 创建一个列表谓词:
?- findall(D, type(D, drink), Ds).
Ds = [coffee, tea, lemonade, water, coke, beer].
关于prolog - 获取 Prolog 类型的所有元素，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/56684163/