Пролог, как соединить данные с помощью цикла / рекурсии

Question

Я получил данные от

father(adam, matt).
father(matt,frank).
father(frank,jim).

grandfather:-father(X,A),father(A,Y).

Как мне на самом деле использовать рекурсию для поиска деда или, может быть, прадеда? в основном означает X к Y, используя цикл.

Изменить: и все возможные совпадения, так как есть еще один отец и сын

Спасибо!

Answer 1

Почти точная функция , в которой вы нуждаетесь - это первый результат Google для 'рекурсии пролога':

Для справки, вы можете использовать левую часть правила в правой части, и вы получите рекурсию.