从列表中创建谓词

Question

我想从这个列表中创建一个谓词。 我有一个清单[苹果，橙子]。 我尝试做这个谓词--->

水果（苹果、橙子）。

你有什么想法吗？

Answer 1

您可以使用 =.. （也称为 Univ）将列表转换为函子为列表头部的项。例如：

?- a(b) =.. [a, b].
true.

您可以使用 assert/1 将 Prolog 数据库中的术语转换为事实。

您的问题的解决方案是这样的：

?- List = [apple, orange], Term =.. [fruits | List], assert(Term).
List = [apple, orange],
Term = fruits(apple, orange).

您现在可以查询您的新事实以验证它是否存在：

?- fruits(X, Y).
X = apple,
Y = orange.