补充资料：匹配

分子式：
CAS号：

性质：当试图满足目标（或子目标）时，PROLOG总是从程序的顶部出发自上而下扫描寻找匹配。当目标的谓词和所有的自变量恰好与程序中的某语句的谓词和自变量一致时，匹配找到了。当匹配一个自由变量时，PROLOG将其实例化为常量。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。