谓词逻辑归结原理源代码
6页1、#include#include#include#define null 0typedef struct char var; char *s;mgu;void strreplace(char *string,char *str1,char *str2) char *p; while(p=strstr(string,str1) int i=strlen(string); int j=strlen(str2); *(string+i+j-1)=0; for(int k=i-1;(string+k)!=p;k-) *(string+k+j-1)=*(string+k); for(i=0;istrlen(str2);i+) *(p+)=*(str2+i); void sort(mgu *u,int count) int j=count; int k=j; if(count=1)return; for(int i=1;is) continue; if(u+i)-var=(u+j)-var) delete (u+j)-s; (u+j)-s=null; k-; j=i; if(u+i)-s)&(u+
2、i)-var=*(u+i)-s) delete (u+i)-s; (u+i)-s=null; k-; j=count; if(k=j)return; count=k; for(int i=1;i0;i+) if(u+i)-s) continue; while(!(u+j)-s) j-; (u+i)-var= (u+j)-var; (u+i)-s= (u+j)-s; (u+j)-s=null; k-; coutgjvjkhllknkln;class unifier char *string; mgu unit50; int count;public:int num;unifier();void input();int differ(int n);int change(int i,int j,int n);void print();unifier()delete string;unifier:unifier()count=0;unit0.s=null;void unifier:input() cout endlnum; string=new charnum*50; cout请注意:公式的输
《谓词逻辑归结原理源代码》由会员cl****1分享,可在线阅读,更多相关《谓词逻辑归结原理源代码》请在金锄头文库上搜索。
水泥包装机的PLC控制系统设计
幼儿园老师工作自评总结报告(3篇).doc
税收改小品剧本:心灵改革三十年.docx
高等院校工科学生金工实习报告感想
2023年煤矿机电办个人工作总结.docx
水肿是患肾炎吗.doc
2023年小学生环保建议书14范文.docx
2023年物流的实习报告38范文.docx
单位劳动合同标准样本(2篇).doc
吉林省信托投资公司年度专项报告.docx
办公室个人工作总结和工作计划(二篇)
老人与海鸥教学设计牟燕林.doc
2023年汽车销售顾问辞职报告4范文.docx
镀锌钢管卡箍式连接施工工艺
中国的疆域导学案
2023年厨房承包合同22.docx
台州煤炭机械项目可行性研究报告(参考模板)
2023年乡镇粮食局年度依法行政工作汇报总结.doc
校企合作打造“一体化”教师队伍
小学数学一年级50以内加减法练习题
2023-12-13 3页
2022-09-30 8页
2022-11-03 7页
2023-01-02 11页
2023-07-22 15页
2023-09-06 12页
2023-12-09 2页
2023-11-10 8页
2023-04-13 7页
2023-04-20 3页