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)