?- likes(mary,food). Yes ?- likes(X,food). X = mary /* press ; to get next answer, press return to finish */ Yes
