Takes a binary predicate, an expression, and a set of clauses. There are two kinds of clauses: Binary clause: test-expr result-expr.
確定! 回上一頁