Pyke 逻辑编程入门（3）：模式匹配

模式匹配

模式匹配有点让人陌生，慢慢来熟悉吧……
模式匹配有两个方面：你编写出来的模式，和 Pyke 据此进行的匹配。
一句话，模式主要用两种基础材料制造：

• 文字模式。
  • 匹配对象是一模一样的值，即其自身。
• 模式变量。
  • 匹配的可以是任何对象（包括其他模式变量）。

还有一种复合模式：

• 元组模式。
  • 匹配对象是元组。

在后面的章节，我们将仔细查看Pyke如何匹配数据模式，如何匹配两种模式。最后，用个病理学方面的问题，试试你弄明白了吗。
有点儿意思吧？好，出发吧。
OK，为什么需要模式？简单的回答是，要用模式生成事实陈述句。例如，把事实陈述变换成提问的问题。

重 要

• 若想陈述某个事实，直接把数据写成参数就行。
• 但若要通过提问等方式，推断某个结论，需要以模式作为参数。