Sim*_*mon 7 prolog
有人可以解释预定义谓词如何forall在列表中找到最小值？
forall
Lit*_*les 16
对于列表L,您可以使用:
L
member(Min,L), forall(member(N,L), N>=Min).
然而,虽然这是一个很好的演示forall,但它并不高效(方形复杂性而非线性).
归档时间：
15 年，1 月 前
查看次数：
12882 次
最近记录：
7 年，10 月 前