Engineering Tutorials Point

unification.c     # include < stdio.h > int no_of_pred; int no_of_arg[ 10 ]; int i,j; char nouse; char predicate[ 10 ]; char argument[ 10 ][ 10 ]; void unify (); void display (); void chk_arg_pred (); void main () …