Hint

are_neighbors_of(X,Y,Z) :- 
                sits_left_of(X,Z),
                sits_right_of(Y,Z).
    

Back to the exercise.