# こんなのも可能かな。op定義に汎用性はないけど。
# 言語: Prolog
:- op(800,xfx,は).
:- op(750,xfx,が).
:- op(700,xfx,の).
:- op(650,xfx,で).
:- op(600,xf,以上).
:- op(600,xf,未満).
:- op(500,xf,cm).

データ(山下,65,177,23).
データ(尾崎,64,168,60).
データ(飯島,72,173,29).
データ(吉田,69,166,44).

身長 が N_1 cm 以上 で N_2 cm 未満 の 人 の 名前 は _氏名 :-
　データ(_氏名,_,_身長,_),
　_身長 >= N_1,
　_身長 < N_2.

# 「身長が160cm以上で170cm未満の人の名前は_氏名」を形態素解析して、
# Term = [身長,が,160,cm,以上,で,170,cm,未満,の,人,の,名前,は,_氏名]
# が得られるなら、結構おもしろい事がやれるでしょうけれど。