>>278
あなたの問題意識がよく分かってないのですが、例えば

height(aya,160).
height(mirai,165).
height(ayu,157).

p([X,Y]) :- height(X,Y).
q([X]) :- p(X).
q([X|Xs]) :- q(Xs), p(X), not(member(X,Xs)).
r(Xs) :- p(X), not(member(X,Xs)).
s(Xs) :- q(Xs), not(r(Xs)).

?- s(X).
X = [[ayu, 157], [mirai, 165], [aya, 160]]

という方法は「再帰述語から単位節で定義された述語の引数データを収集する」
というruleに反するのでしょうか？

> 私がPrologを学び始めた20年ちょっと前、古川康一、黒川利明、高木茂行、
> 中島秀之、溝口文雄氏といった錚々たる方々からPrologの手ほどきを
> 受けました。
確かに凄い。羨ましいです。当時はどういう話題がprologの最先端だったのでしょうか？