prolog - アインシュタインの謎の数値比較

Question

私のバージョンは、学生の名前、年齢、出身地、科目に興味があります。

solve :-
    length(X, 6),                  % there are six students
    member([manuel, 19, _, _], X), % Manuel is 19 years old
    member([_, 20, _, win], X),    % 20 years old student studies win
    ...

しかし、Prolog で実装する方法がわからないルールがあります。例えば：

オリバーは数学の学生より 2 歳年上ですが、ワシントンの学生より 2 歳年下です。

そのように年齢を比較できるルールを作成するにはどうすればよいですか?