}
string change_name(string temp)//更换变量名称 { char ctemp[100]; strcpy(ctemp,temp.c_str()); string output = \ int i = 0,j = 0,falg = 0; while(ctemp[i] != '\\0' && i < temp.length()) { falg++; while('\\n' != ctemp[i] && i < temp.length()) { if('x' == ctemp[i]) { output = output + ctemp[i] ; output = output + numAfectChar(falg); } else output = output + ctemp[i] ; i++; } output = output + ctemp[i] ; i ++; } return output; }
bool isAlbum(char temp) { if(temp <= 'Z' && temp >= 'A' || temp <= 'z' && temp >= 'a') return true; return false; }
char numAfectChar(int temp)//数字显示为字符 { char t; switch (temp) { case 1: t = '1'; break; case 2: t = '2'; break; case 3:
5
}
t = '3'; break; case 4: t = '4'; break; default: t = '89'; break; }
return t;
四、实验步骤：
6
1 对默认谓词公式进行转换。进入程序，点击“语法检查”，再依次点击消解过程的九个步骤按钮，得到转换结果。
2 自定义转换目标。点击“清除”删除默认公式，利用界面键盘输入新的转换目标，用“大写字母”、“小写字母”按键进行输入中的字母变换。 3 语法检查。点击“语法检查”检查输入谓词公式的语法错误。如无错误，则依次点击步骤按钮进行转换。
4 重复运行2、3步，熟悉消解原理和转换过程。 五、实验报告要求：
1 了解每一步消解的规则和原则。
2 给出一个谓词公式转换为子句的详细过程和结果。 3 分析消解原理的特点和原理。 六、心得体会：
在本次课程设计过程中，我学到了好多东西。在此特别感谢老师教诲。老师不仅上课生动、幽默，平时上机时又悉心的指导。同时感谢学校给我们提供了非常优越的设计环境，对于我顺利完成这次课程设计起到了关键性的作用。通过对本次实验的操作，我较全面的掌握了化为子句集的九步法，并在实验操作中进一步的提高我的能力，但是自己还有一些不足之处有待提高。
7
