I know that Charles has been researching parallisation and concurrency for rule engines for over 20 years and when we last spoke he was talking about set oriented theory. So I'm guessing it has something in the lines of "Collection Oriented Match" and "Set-Oriented Constructs". Anyway can't wait for the official release to get more details, I suspect it'll be announced at his PST site soon: Production Systems Technology.
