/* 最終行から */
:- op(700,xfy,は).
:- op(700,xfy,の).
:- op(700,xfy,で).
メアリー は ジョン の お母さん で オーストラリア で 生まれた.

/* 上は冗談 第一行目は */
citizen(X,australia) :- born(X,australia). /* でしょう */