このディレクトリの索引
#  
#  if_any/2 if_any(P,Q) は「すべてのPについてQが成立する」
#  

if_any(P,Q) :- P,\+(Q),!,fail.
if_any(P,Q).