Здравствуйте.
Изучаю пролог, начал с создания т.н. базы родственных отношений, которая описывается во многих учебниках по прологу. Простые отношения типа parent(), brother() и т.д. понятны, но в заданиях для самостоятельного изучения есть также и такие, для осуществления которых, насколько я понял, необходимо использовать рекурсию. Например, необходимо найти племянницу любого уровня. Для первого уровня я сделал так:
niece(A,B) :- parent(C,B), parent(C,D), parent(D,A), not(parent(B,A)), woman(A), write(A," is a niece of ",B).
А как получить племянниц всех уровней (т.е. двоюродную, троюродную и т.д.) никак не могу понять. Знаю, что можно определить несколько правил, по одному на каждый уровень, но это не то, что хотелось бы, сами понимаете... Примеров на такие отношения найти нигде не смог.
Помогите пожалуйста разобраться.