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))