Please send questions to st10@humboldt.edu . 
true.

?- likes(eve, What), \+(likes(al, What)).
What = tom ;;
What = eve.

?- halt.