killed(lapulapu,magellan) :- notkilled(macarthur,magellan). killed(macarthur,magellan) :- notkilled(lapulapu,magellan). gotojail(X) :- killed(X,Y). killed(macarthur,x1). filipino(Y) :- killed(Y,magellan). notkilled(Y,magellan) :- notfilipino(Y). filipino(x2). notfilipino(macarthur). notfilipino(magellan).