このディレクトリの索引

# 1.. 全ての人から尊敬されている # 2.. 自分自身を尊敬している 全ての人から尊敬されている(A) :- 'Aを除き誰かを尊敬している人全てから、Aは尊敬されている'(A). 'Aを除き誰かを尊敬している人全てから、Aは尊敬されている'(A) :- forall('Aを除き誰かを尊敬している人全てから'(A,_誰かを尊敬している人),'Aは尊敬されている'(A,_誰かを尊敬している人)). 'Aを除き誰かを尊敬している人全てから'(A,_誰かを尊敬している人) :- setof(C,C ^ 'Aを除き誰かを尊敬している人'(A,C),_誰かを尊敬している人ならび), member(_誰かを尊敬している人,_誰かを尊敬している人ならび). 'Aを除き誰かを尊敬している人'(A,_誰かを尊敬している人) :- 尊敬されている(_,誰かを尊敬している人), A \== _誰かを尊敬している人. 'Aは尊敬されている'(A,_誰かを尊敬している人) :- 尊敬されている(A,_誰かを尊敬している人). 自分自身を尊敬している(A) :- 尊敬されている(A,A).