【論理】Prolog【初心者】

[186 デフォルトの名無しさん 2011/05/21(土) 23:54:31.20]

>>185
http://www.geocities.jp/m_hiroi/prolog/prolog02.html
部分集合の判定
selects([], Ys).
selects([X | Xs], Ys) :- select(X, Ys, Ys1), selects(Xs, Ys1).