Hi

Is it possible to have a predicate like do(I,O) with truth value true or false where

I = {i1,i2,i3} meaning it is a set of inputs?

Thanks

Printable View

- Sep 20th 2011, 05:33 PMkardashPredicate and array
Hi

Is it possible to have a predicate like do(I,O) with truth value true or false where

I = {i1,i2,i3} meaning it is a set of inputs?

Thanks - Sep 21st 2011, 04:34 AMemakarovRe: Predicate and array
You can define almost anything. Whether it makes sense or is interesting depends on the particular subject.

You can define a predicate whose first argument is a set, for example, if you are dealing with arrays, but more often the first argument is some element of the set of all possible inputs.