Я устанавливаю следующие правила, чтобы определить, есть ли связь между двумя элементами: directReference(A,B) :- projectReferences(A,B). transitiveReference(A,C) :- directReference(A,B),directReference(B,C). transitiveReferenceD1(A,D) :-...