实现基于谓词逻辑的归结原理文档.docxVIP

//?些函数的定义

mp[i+2];i=i+4;o{if(ctemp[i]=(?)if(ctemp[i]=))leftbrackets-H-;leftbrackets—;ifcharctemp[100];strcpyXctemp,temp.cstr());mt1=0;stringoutvdT=output=\;wlule(ctemh(ctemp[i]);否则什么都不做

mp[i+2];i=i+4;o{if(ctemp[i]=(?)if(ctemp[i]=))leftbrackets-H-;leftbrackets—;if

charctemp[100];strcpyXctemp,temp.cstr());mt1=0;stringoutvdT=output=\;wlule(ctem

h(ctemp[i]);否则什么都不做~如果是if(cteinp[i]=?-?)//{charfb=ctemp[i+2];if(ctemp[i+l]=(C)//

cstrO)；//复制到字符数组中wliile(ctemp3[k]!=‘\0‘k=length3-l)stackl3.push(ctemp3[k]);if

河南城建学院

《人工智能》实验报告

实验名称：实现基于谓词逻辑的归结原理成绩：—

专业班级：—学号:姓名：

实验日期:2014年05月13日

实验器材：