>>307
> ?- ・・・,身長(L),( member([A,B],L),foo(A,B),・・・

これが嫌なら、

身長(Who, Value) :- 身長(Data), member([Who, Value], Data).

みたいなのも定義するとか。