Правильное использование findall / 3, особенно последний аргумент результата

Я новичок в Прологе и имею дело с проблемой, которая может показаться вам глупой, но я действительно не могу понять, что я делаю неправильно! Хорошо, у меня есть этот файл fruits.pl, и внутри у меня есть что-то вроде этого:

fruit(apple,small,sweet).
fruit(lemon,small,nosweet).
fruit(melon,big,sweet).

Я уже (внутри этого файла сделал атом сосуществования (X, Y), который проверяет, можно ли собрать два фрукта в тарелку. Он работает отлично! Но сейчас я не могу создать предложение (X), которое принимает в качестве параметра фрукт и возвращает список фруктов, которые можно собрать в одну тарелку. Дело в том, что я пытался сделать что-то подобное

suggest(X) :- findall(Y,fruit(Y,_,_), List), coexist(X,Y).

Как вы думаете? Каждый раз, когда я пытаюсь запустить это в swi prolog, появляется предупреждение «singleton variable», и когда я нажимаю

suggest(apple).

тогда он говорит ложь .. извините за мой английский: /

Ответы на вопрос(2)

Ваш ответ на вопрос