The basic attack predicate in prolog is there.. need to make some
adjustments as per the comments however.