unificationalgorithm The Prolog Unification algorithm Input rules for program to get a valid output The function name and constants are provided via small case letter i.e. f(a) is valid input The variables should provided via capital case letter i.e. X,f(X,Y)