Essentially, the consistent substitution used in the derivation process is equivalent to unification, as in Prolog, as was noted by Alain Colmerauer.
Esencijalno je konzistentna supstitucija korištena u procesu izvođenja pravila produkcija istovjetna unifikaciji u Prologu, kao što je primjetio Alain Colmerauer.