1
說我有一個謂語的eval(A),只是計算結果爲真/假取決於一些輸入序言(SWI):與列表結合?
現在的問題是,我想另一個謂詞 和(列表,R) 是成功當且僅當列表是empty /列表中每個元素的eval的連接點是R.其中R僅爲真/假。
所以,如果有列出的項目[A,B,C],然後返回[EVAL(一)^的eval(B)^的eval(C)] == [R
我嘗試:
and([], true).
and([H|T], R) :- eval(H), and(T, R).
and([H|T], R) :- eval(H) = R.
但我不知道如何正確比較R.