1%:- set_prolog_flag(scasp_assume, true).
    2
    3pacifist(X) :- not -pacifist(X), quaker(X).
    4-pacifist(X) :- not pacifist(X), republican(X).
    5-quaker(X) :- not quaker(X).
    6-republican(X) :- not republican(X).
    7quaker(alan).
    8quaker(nixon).
    9republican(bill).
   10pacifist(bill).
   11republican(nixon). 
   12
   13:- republican(X), -republican(X). 
   14
   15
   16?- pacifist(X).