dram.me

Prolog的核心概念

Prolog最核心的概念,我觉得是联合(unification)和回溯(backtracking)。从另一个角度说,是选择以及基于选择的遍历。

例如联合产生选择(choice points),而disjunction()和conjunction()分别可以增加和减少选择,cut(!)可以删减选择。

对于遍历,failtrue\+可用于控制backtracking。

所以说,Prolog最核心的机制就是对选择树的遍历。