gives(tom, book, SOMEONE) :- person(SOMEONE), likes(tom, SOMEONE).