このコンテンツは選択した言語では利用できません。
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.