Создание предиката из списка

Question

Я хочу сделать предикат из этого списка. У меня есть список [яблоко, апельсин]. Я пытаюсь сделать этот предикат --->

фрукты (яблоко, апельсин).

Есть ли у вас какие-либо идеи?

Answer 1

Вы можете преобразовать список в термин, функтор которого является главой списка, используя =.. (также называется Univ). Например:

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

Вы можете превратить термин в факт в базе данных Prolog, используя assert/1,

Таким образом, решение вашего вопроса:

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

Теперь вы можете запросить ваш новый факт, чтобы убедиться, что он там:

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