•Left to right processing
•Shortest first priority for wildcard
variables
•Largest first priority for non-wildcard
variables
•Patterns match if and only if all of its
subpatterns
match
•Simple folding rules are applied to
commas to make matching lists easier