COSC5100 PROGRAM-2 Due: 3/14/2001 Most General Unifier Generator TASK: Write a well-structured program for an MGU (Most General Unifier) using the following conventions: 1. Symbols are case-insentive. 2. Predicate symbols are P1, p2, p3, p4, ... . 3. Function symbols are F1, F2, F3, ... 4. Variablea are V1, V2, V3, ... 5. Constants aer C1, C2, C3, ... INPUTS TO BE USED: Use the following three input pairs of predicates: P1(V1, F1(V1), F2(C1, V2)) P1(C2, F1(V3), F2(V4, F3(V3))) P1(F1(V1, V2), V1) P1(F1(F2(V3), F3(V4)), V3) P1(V1, V2, F1(V2)) P1(V3, V4, F1(V3))