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