/*
??Name:			實(shí)現(xiàn)一般表示式的合一算法（50分）
??Author:		WXQ
??Date:			22-11-05?00:52
??Discription:	UNIFY
*/

#include?
#include?
#include?

using?namespace?std;

struct?transform	//?一組置換
{
????string?t_f1;
????string?t_f2;
};????

bool?same（const?string?f1const?string?f2）?;
transform?dif（const?string?f1const?string?f2）;
string?change（string?ftransform?q）;
string?change2（string?ftransform?q）;
bool?syncretism（const?string?f1const?string?f2?vector?&?）;
int?legal（transform?&）;
bool?var（const?string?s）;
string?varData（string?s）;

int?main（）
{
????cout<<“const:capital\t“<<“varible:lowercase.“<????string?f1f2;	
????cout<<“intput?F1:“;
????cin>>f1;
????cout<<“intput?F2:“;
????cin>>f2;
	vector??mgu;
	if（syncretism