此内容没有您所选择的语言版本。
12.2. Pattern Example
This is what a pattern looks like:
Note
An
and
cannot have a leading declaration binding. This is because a declaration can only reference a single fact at a time, and when the and
is satisfied it matches both facts.