このディレクトリの索引

forall(P,Q) :-
        ((   P,\+(Q),!,fail ;
             \+(P),\+(Q),!,fail;
             fail);
         true).