このディレクトリの索引
# 1.. 全ての人から尊敬されている
# 2.. 自分自身を尊敬している

全ての人から尊敬されている(A) :-
        findall(B,(尊敬されている(A,B),\+(A==B)),L1),
        findall(C,(尊敬されている(_,C),\+(A==C)),L2),
        setof(D,member(D,L2),L3),
        length(L1,Len),
        length(L3,Len).

自分自身を尊敬している(A) :-
        尊敬されている(A,A).