% Author: Claudia-Ann Gray 0702011
% Date: 9/14/2010
short(tweety).
short(sonny).
barks(sonny).
barks(parkie).
fur(parkie).
fur(sonny).
runs(tweety).
friend(tweety,tom).
catcher(tom).
dog(A):-barks(A), fur(A); runs(A).
terrier(A):-short(A), dog(A).
capture(A,B):-catcher(B), terrier(A), not(friend(A,B)).
captured(A):-capture(A,_).