We use a predicate called split A, B, C which splits a list A into two non-empty sublists B and C. An intensional definition for split is: split X, Y | Z , X , ...
確定! 回上一頁