statistics_remove 函数
从列表中删除使谓词为真的元素。
语法
Statistics:-Remove(x -> condition, list)Statistics:-Remove(condition, x, list)statistics_remove(condition, x, list)
参数与选项
predicate | 布尔条件，可写成箭头函数或带变量的表达式。 |
|---|---|
list | 形如 [1, 2, 3] 的列表字面量。 |
示例
- 按谓词删除
Statistics:-Remove(x -> x > 2, [1, 2, 3, 4])返回 [1, 2]。