%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%% http://www.research.att.com/~njas/sequences/A089840p.txt%%%% %%%%一组序言定义,用于说明第一行%%%%生产A089840的。%%%% %%%%作者:Antti Karttunen,2003年,http://www.iki.fi/karturi/%%%% %%%%上次编辑时间:2007年5月22日AK.%%% %%%%这(至少)适用于GNU prolog 1.2.16%%%%(版权所有(C)1999-2002 Daniel Diaz)%%%%参见:http://www.gnu.org/software/prolog%%%% %%%%加载方式:%%%%咨询('./A089840p.txt')。%%%%然后用%%%%findall([G | S),signatperm(G,64,S),GMs_和他们的sigperm.%%%%或:findall([G | S),signatperm(G,196,S),GMs_与他们的sigperms.%%%% %%%%有关这些相同自同构的C实现,请参见:%%%%从http://www.research.att.com/~njas/sequences/a089839.c.txt%%%% %%%%方案实现见:%%%% http://www.iki.fi/karturi/matikka/Nekomorphisms/gatomorf.htm%%%% %%%%如果您有任何建议或问题,可以发邮件给我%%%%到我的地址.@gmail.com%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%定义:%%“非递归加泰罗尼亚自同构”是%未标记的有根平面二叉树(见A014486),其行为%无论树有多大,总是由%从位于%与根的距离是恒定的,有限的。%请注意,节点包含的唯一信息(未标记)%是它们是叶(终端节点)还是%“内部”节点,分支到左侧的其他子树和/或%在右边。%%非递归Catalan自同构的子句表示是%零个或多个“子句”后跟默认子句的序列。%%从组合的角度看,一个n开头的从句包括%一对有根平面二叉树(都有n个内部节点),%另一个是未标记的,另一个是终端%节点已标记。序列A089835(n)=(A000108(n)^2)*(n+1)!%给出此类子句的数量。%%在这个Prolog实现中,“clause”实际上是一个Prolog子句%(又称“规则”)其主体是cons子句的连词查询,%定义如下。%双向“cons”是一个从句,它要么“劈开”现有的%cons单元(即二叉树的分支节点,其左和%或从给定的左、右方向构造一个新的%子树:缺点(CAR,CDR,[CAR | CDR])。%即:如果第一个和第二个参数被实例化,%构建一个新的cons单元(放置到第三个,%未实例化的参数),以CAR作为其左子树,%和CDR作为它的右子树。%如果第一个和第二个论点是未经证明的,%但是第三个被实例化,然后获得它的%左侧(CAR)和右侧(CDR),以及%他们对第一和第二个论点。%下面是简单的非递归自同构的例子。%从每一个(在简单的身份置换gma001477之后)%我们列出了它%定义子句序列结构%从http://www.research.att.com/~njas/sequences/a089839.c.txt%%它对Lisp/Scheme点对的影响,%%在有根的平面二叉树上,用简单的ASCII图形表示,%%它定义了Prolog子句的定义,并故意使用了red cuts。%“开场白”在%--评论行上方给出,%以及下面的“结束”部分。%%每个Prolog定义以“catch all”默认子句结尾%格式为gmaxxxxx(X,X)。这将修复所有的S表达式%以前任何条款(即上面的条款)都没有处理这些条款。%子句序列中每个非缺省子句的四个数字%参考树的大小(打开(关闭)的内部节点数),%源树的本地秩,%目标树的本地等级,%在目的树的标签中使用的排列的秩。%源树和目的树的等级使用该标准%OEIS条目A014486中采用的词典排序顺序。%对于排列,我们使用如图所示的取消排名/排名系统%通过OEIS中的条目A060118,其工作原理如下:%(permute-a06118(向量'a'b'c)3 0)-->#(a b c)%(permute-a06118(向量'a'b'c)3 1)-->#(b a c)%(permute-a06118(向量'a'b'c)3 2)-->#(a c b)%(permute-a06118(向量'a'b'c)3 3)-->#(b c a)%(permute-a06118(向量'a'b'c)3 4)-->#(c b a)%(permute-a06118(向量'a'b'c)3 5)-->#(c a b)%另请参见:http://www.iki.fi/~karturi/matikka/Nekomorphisms/gatogenp.scm%对于每个非递归的Catalan自同构都存在%唯一的最小子句表示法%这种自同构的可能子句表示%是“最小”子句序列,其中%of子句序列由以下规则定义:%%A)所有子句序列都有一个相关的整数%(参见a089839.c.txt中的宏子句seq_binexp),其%二进制扩展的运行长度决定了%子句及其大小。%具有不同值的两个子句序列%值较小的整数也是“小于”%在这种情况下。最不重要的运行长度%二进制扩展的结尾对应于%最重要的条款,反之亦然。%%例如从103开始,它的二进制扩展是1100111%我们从大多数人那里得到了大小为3、2和2的条款%对最不重要的条款有意义。%类似地,从124开始,它的二进制扩展是1111100,%我们有两个从句,更重要的是%2个内部节点的二叉树%重要的,有5个内部节点的二叉树。%%B)条款序列中的“最具区别性的条款”%关于同一个的其他从句序列%大小,是最重要的从句,它不同于%其他子句序列中的相应子句。%这里最重要的从句是指%首先执行,最不重要的是%最后应用,在default identity子句之前,%如果上述条款中没有一个,“更重要”的条款%匹配。如果没有这样的排除条款,%那么这两个子句序列是相同的。%%C)如果上述条件不能确定关系%两个子句序列(按此总顺序)%那么“less”从句序列是%在最具区别的子句中使用的源二叉树%更接近序列A014486的开头。%(也就是说,在词典编纂上%建立了无标号有根平面二叉树的序。%%D)如果上述条件不能确定关系%两个从句的顺序%那么“less”从句序列是%最具区别子句的目标二叉树%在字典上是“less”,由序列A014486决定。%%E)如果上述条件不能确定关系%两个从句的顺序%那么“less”从句序列是%目标二叉树中使用的置换%最有区别的从句中,最小的一个是%按顺序A060118排序。%(请注意,这与既定的“词典学”不同%排列顺序,如A030299和A055089中所用)。%%这里的Prolog定义试图给出最小子句表示,%以字母“b”表示的非最小表示%(如gma089864b表示自同构*a0889864)%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%一个具有0个非默认子句%%的非递归自同构%%零分(合)合消耗%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句GMA01477[]={CLAUSESEQ_begin(0,0)};/*A089840[0]*/gma001477(X,X)%%只有default子句,一个修复一切的标识。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%一个非递归自同构,其中1个非默认子句为%%%%1开(关)差:%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA069770[]={CLAUSESEQ_begin(1,1),{1,0,0,1}}/*A089840[1]*/%(a.b)-->(b.a)%%A B-->B A% \ / \ /%X0年gma069770(X0,Y0):-缺点(A、B、X0),% --缺点(B,A,Y0),!.gma069770(X,X)%%默认子句fix S-exprs(这里只有[]),上面的子句无法处理。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%10个非递归自同构,其中一个非default子句为%%%%两次分(合)分:%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA072796[]={CLAUSESEQ_begin(3,1),{2,0,0,1}};/*A089840[2]*/%(a.(b.c))-->(b.(a.c))%%B、C、A、C% \ / \ /%A X1-->B Y1% \ / \ /%X0年gma072796(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --缺点(A、C、Y1),缺点(B,Y1,Y0),!.gma072796(X,X)%%固定长度为1的[]和S-expr。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA089850[]={CLAUSESEQ_begin(3,1),{2,0,0,2}}/*A089840[3]*/%(a.(b.c))-->(a.(c.b))%%断路器C断路器% \ / \ /%A X1-->A Y1% \ / \ /%X0年gma089850(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --cons(C、B、Y1),缺点(A,Y1,Y0),!.gma089850(X,X)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA089851[]={CLAUSESEQ_begin(3,1),{2,0,0,3}};/*A089840[4]*/%%B、C、C、A% \ / \ /%A X1-->B Y1% \ / \ /%Y0 YX0型gma089851(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --缺点(C,A,Y1),缺点(B,Y1,Y0),!.gma089851(X,X)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA089852[]={CLAUSESEQ_begin(3,1),{2,0,0,4}};/*A089840[5]*/%%B、C、B、A% \ / \ /%A X1-->C Y1% \ / \ /%X0年gma089852(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --缺点(B、A、Y1),cons(C,Y1,Y0),!.gma089852(X,X)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA089853[]={CLAUSESEQ_begin(3,1),{2,0,0,5}};/*A089840[6]*/%(a.(b.c))-->(c.(a.b))%%卑鄙小人% \ / \ /%A X1-->C Y1% \ / \ /%X0年gma089853(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --缺点(A、B、Y1),cons(C,Y1,Y0),!.gma089853(X,X)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA089854[]={CLAUSESEQ_begin(3,1),{2,1,1}};/*A089840[7]*/%((a.b.c)-->((b.a.c)%%%A B B A% \ / \ /%X1 C-->Y1 C% \ / \ /%X0年gma089854(X0,Y0):-cons(X1,C,X0),缺点(A、B、X1),% --缺点(B、A、Y1),cons(Y1,C,Y0),!.gma089854(X,X)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA072797[]={CLAUSESEQ_begin(3,1),{2,1,1,2}}};/*A089840[8]*/%((a.b.c)-->((a.c.b)%%%A、B、A、C% \ / \ /%X1 C-->Y1 B% \ / \ /%X0年gma072797(X0,Y0):-cons(X1,C,X0),缺点(A、B、X1),% --缺点(A、C、Y1),缺点(Y1,B,Y0),!.gma072797(X,X)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%{55,第1条,第3条;{A089840[9]*/%((a.b.c)-->((b.c.a)%%%A B B C% \ / \ /%X1 C-->Y1安% \ / \ /%X0年gma089855(X0,Y0):-cons(X1,C,X0),缺点(A、B、X1),% --缺点(B、C、Y1),缺点(Y1,A,Y0),!.gma089855(X,X)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA089856[]={CLAUSESEQ_begin(3,1),{2,1,1,4}}};/*A089840[10]*/%((a.b.c)-->((c.b.a)%%A、B、C、B% \ / \ /%X1 C-->Y1安% \ / \ /%X0年gma089856(X0,Y0):-cons(X1,C,X0),缺点(A、B、X1),% --cons(C、B、Y1),缺点(Y1,A,Y0),!.gma089856(X,X)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA089857[]={CLAUSESEQ_begin(3,1),{2,1,1,5}};/*A089840[11]*/%((a.b.c)-->((c.a.b)%%A、B、C、A% \ / \ /%X1 C-->Y1 B% \ / \ /%X0年gma089857(X0,Y0):-cons(X1,C,X0),缺点(A、B、X1),% --缺点(C,A,Y1),缺点(Y1,B,Y0),!.gma089857(X,X)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%10个带有两个非默认子句的非递归自同构%%%%2&1分闸(合)消耗量%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA074679[]={CLAUSESEQ_begin(4,2),{2,0,1,0,},{1,0,0,1}};/*A089840[12]*/%(a.(b.c))-->(a.b.c)%(a.())-->(().a)%%卑鄙小人% \ / \ /%A X1-->Y1 C A[]-->[]A% \ / \ / \ / \ /%X0 Y0 X0 Y0gma074679(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --缺点(A、B、Y1),cons(Y1,C,Y0),!.gma074679(X0,Y0):-cons(A,B,X0),%B=[]根据上述条款。% --缺点(B,A,Y0),!.GMAX(074679)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA089858[]={CLAUSESEQ_begin(4,2),{2,0,1,1,},{1,0,0,1}};/*A089840[13]*/%(a.(b.c))-->(b.a.c)%(a.())-->(().a)%%B、C、B、A% \ / \ /%A X1-->Y1 C A[]-->[]A% \ / \ / \ / \ /%X0 Y0 X0 Y0gma089858(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --缺点(B、A、Y1),cons(Y1,C,Y0),!.gma089858(X0,Y0):-cons(A,B,X0),%B=[]根据上述条款。% --缺点(B,A,Y0),!.gma089858(X,X)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA073269[]={CLAUSESEQ_begin(4,2),{2,0,1,2,},{1,0,0,1}};/*A089840[14]*/%(a.(b.c))-->(a.c.b)%(a.())-->(().a)%%B、C、A、C% \ / \ /%A X1-->Y1 B A[]-->[]A% \ / \ / \ / \ /%X0 Y0 X0 Y0gma073269(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --缺点(A、C、Y1),缺点(Y1,B,Y0),!.gma073269(X0,Y0):-缺点(A、B、X0),% --缺点(B,A,Y0),!.gma073269(X,X)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA089859[]={CLAUSESEQ_begin(4,2),{2,0,1,4,},{1,0,0,1}};/*A089840[15]*/%(a.(b.c))-->(c.b.a)%(a.())-->(().a)%%断路器C断路器% \ / \ /%A X1-->Y1 A[]-->[]A% \ / \ / \ / \ /%X0 Y0 X0 Y0gma089859(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --cons(C、B、Y1),缺点(Y1,A,Y0),!.gma089859(X0,Y0):-缺点(A、B、X0),% --缺点(B,A,Y0),!.gma089859(X,X)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA089860[]={CLAUSESEQ_begin(4,2),{2,0,1,5,},{1,0,0,1}};/*A089840[16]*/%(a.(b.c))-->(c.a.b)%(a.())-->(().a)%%B、C、C、A% \ / \ /%A X1-->Y1 B A[]-->[]A% \ / \ / \ / \ /%X0 Y0 X0 Y0gma089860(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --缺点(C,A,Y1),缺点(Y1,B,Y0),!.gma089860(X0,Y0):-缺点(A、B、X0),% --缺点(B,A,Y0),!.gma089860(X,X)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA074680[]={CLAUSESEQ_begin(4,2),{2,1,0,0},{1,0,0,1}};/*A089840[17]*/%(a.b.c)-->(a.(b.c)%(().b)-->(b.)%%A B B C% \ / \ /%X1 C-->A Y1[]B-->B[]% \ / \ / \ / \ /%X0 Y0 X0 Y0gma074680(X0,Y0):-cons(X1,C,X0),缺点(A、B、X1),% --缺点(B、C、Y1),缺点(A,Y1,Y0),!.gma074680(X0,Y0):-cons(A,B,X0),%A=[]根据上述条款。% --缺点(B,A,Y0),!.gma074680(X,X)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA089861[]={CLAUSESEQ_begin(4,2),{2,1,0,1,},{1,0,0,1}};/*A089840[18]*/%(a.b.c)-->(b.(a.c))%(().b)-->(b.)%%A、B、A、C% \ / \ /%X1 C-->B Y1[]B-->B[]% \ / \ / \ / \ /%X0 Y0 X0 Y0gma089861(X0,Y0):-cons(X1,C,X0),缺点(A、B、X1),% --缺点(A、C、Y1),缺点(B,Y1,Y0),!.gma089861(X0,Y0):-缺点(A、B、X0),% --缺点(B,A,Y0),!.gma089861(X,X)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA073270[]={CLAUSESEQ_begin(4,2),{2,1,0,2,},{1,0,0,1}};/*A089840[19]*/%(a.b.c)-->(a.(c.b)%(().b)-->(b.)%%A、B、C、B% \ / \ /%X1 C-->A Y1[]B-->B[]% \ / \ / \ / \ /%X0 Y0 X0 Y0gma073270(X0,Y0):-cons(X1,C,X0),缺点(A、B、X1),% --cons(C、B、Y1),缺点(A,Y1,Y0),!.gma073270(X0,Y0):-缺点(A,B),% --缺点(B,A,Y0),!.gma073270(X,X)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA089862[]={CLAUSESEQ_begin(4,2),{2,1,0,3,},{1,0,0,1}};/*A089840[20]*/%(a.b.c)-->(b.(c.a)%(().b)-->(b.)%%A、B、C、A% \ / \ /%X1 C-->B Y1[]B-->B[]% \ / \ / \ / \ /%X0 Y0 X0 Y0gma089862(X0,Y0):-cons(X1,C,X0),缺点(A、B、X1),% --缺点(C,A,Y1),缺点(B,Y1,Y0),!.gma089862(X0,Y0):-缺点(A、B、X0),% --缺点(B,A,Y0),!.gma089862(X,X)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA089863[]={CLAUSESEQ_begin(4,2),{2,1,0,4,},{1,0,0,1}};/*A089840[21]*/%(a.b.c)-->(c.(b.a)%(().b)-->(b.)%%A B B A% \ / \ /%X1 C-->C Y1[]B-->B[]% \ / \ / \ / \ /%X0 Y0 X0 Y0gma089863(X0,Y0):-cons(X1,C,X0),缺点(A、B、X1),% --缺点(B、A、Y1),cons(C,Y1,Y0),!.gma089863(X0,Y0):-缺点(A、B、X0),% --缺点(B,A,Y0),!.gma089863(X,X)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%注意{CLAUSESEQ_开始(4,2),{2,0,1,3,},{1,0,0,1}};%此处不使用,因为它会导致gma069770的重复:%%(a.(b.c))-->(b.c.a)%(a.())-->(().a)%%卑躬屈膝% \ / \ /%A X1-->Y1 A[]-->[]A% \ / \ / \ / \ /%X0 Y0 X0 Y0%类似于{CLAUSESEQ_begin(4,2),{2,1,0,5,},{1,0,0,1}};%(a.b.c)-->(c.(a.b))%(().b)-->(b.)%%A,B,B,B% \ / \ /%X1 C-->C Y1[]B-->B[]% \ / \ / \ / \ /%X0 Y0 X0 Y0%%这也是一个简单交换(gma069770)的复制品。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%139个非递归自同构的5个例子%%两个非违约条款,共4个开(关)头消费。%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA129611[]={CLAUSESEQ_begin(8,2),{3,1,4,10,},{1,0,0,1}};/*[89840号]*/%(a.((b.c.d))-->(((c.b.d).a)%(a.b)-->(b.a)[b隐含()或(().X)]%断路器C断路器% \ / \ /%X2天Y2天% \ / \ /%A X1-->Y1 A A B-->B A% \ / \ / \ / \ /%X0 Y0 X0 Y0%%gma129611(X0,Y0):-缺点(A,X1,X0),缺点(X2,D,X1),缺点(B、C、X2),% --缺点(C、B、Y2),cons(Y2,D,Y1),缺点(Y1,A,Y0),!.gma129611(X0,Y0):-缺点(A、B、X0),% --缺点(B,A,Y0),!.gma129611(X,X)。%%子句gmA129612[]={CLAUSESEQ_begin(8,2),{3,4,1,22,},{1,0,0,1}};/*A089840[251]*/%((a.b.c.d)-->(d.((b.a.c))%(a.b)-->(b.a)[隐含的()或(().X)]%这种对合会影响以下转换:%A B B A% \ / \ /%X2摄氏度Y2摄氏度% \ / \ /%X1 D-->D Y1 A B-->B A% \ / \ / \ / \ /%X0 Y0 X0 Y0%gma129612(X0,Y0):-cons(X1,D,X0),cons(X2,C,X1),缺点(A、B、X2),% --缺点(B、A、Y2),cons(Y2,C,Y1),缺点(D,Y1,Y0),!.gma129612(X0,Y0):-缺点(A、B、X0),% --缺点(B,A,Y0),!.gma129612(X,X)。%%子句gmA123503[]={CLAUSESEQ_begin(12,2),{2,0,0,1,},{2,1,1}};/*A089840[253]*/%(a.(b.c))-->(b.(a.c))%((a.b.c)-->((b.a.c)%%B C A C A B B A% \ / \ / \ / \ /%A X1-->B Y1 X1[]-->Y1[]% \ / \ / \ / \ /%X0 Y0 X0 Y0gma123503(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --缺点(A、C、Y1),缺点(B,Y1,Y0),!.gma123503(X0,Y0):-cons(X1,C,X0),缺点(A、B、X1),% --缺点(B、A、Y1),cons(Y1,C,Y0),!.gma123503(X,X)。%%子句gmA123499[]={CLAUSESEQ_begin(12,2),{2,0,1,0,},{2,1,0,4}};/*A089840[258]*/%(-->(a.b.c.)%(a.b.c)-->(c.(b.a)%%B C A B A B B B A% \ / \ / \ / \ /%一个X1-->Y1 C X1[]-->[]Y1% \ / \ / \ / \ /%X0 Y0 X0 Y0gma123499(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --缺点(A、B、Y1),cons(Y1,C,Y0),!.gma123499(X0,Y0):-cons(X1,C,X0),缺点(A、B、X1),% --缺点(B、A、Y1),cons(C,Y1,Y0),!.gma123499(X,X)。%%子句gmA123500[]={CLAUSESEQ_begin(12,2),{2,1,0,0,},{2,0,1,4}};/*A089840[264]*/%(a.b.c)-->(a.(b.c)%(a.(b.c))-->(c.b.a)%%A B B C B C C B% \ / \ / \ / \ /%X1 C-->A Y1[]X1-->Y1[]% \ / \ / \ / \ /%X0 Y0 X0 Y0gma123500(X0,Y0):-cons(X1,C,X0),缺点(A、B、X1),% --缺点(B、C、Y1),缺点(A,Y1,Y0),!.gma123500(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --cons(C、B、Y1),缺点(Y1,A,Y0),!.gma123500(X,X)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%2570个非递归自同构的7个例子%%两个非违约条款,共5个开(关)算。%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%所有的例子在第一个例子中都有3个开(关)关%%第二条和第二条开(关)算。%子句gmA129607[]={CLAUSESEQ_begin(24,2),{3,0,0,0,},{2,0,0,1}};/*A089840[3608]*/%(a.(b.(c.d)))-->(a.(b.(c.d)))%(a.(b.c))-->(b.(a.c))[c隐含()]%%C、D、C、D% \ / \ /%B X2 B Y2 B C空调% \ / \ / \ / \ /%A X1-->A Y1 A X1-->B Y1(C是[])% \ / \ / \ / \ /%X0 Y0 X0 Y0gma129607(X0,Y0):-缺点(A,X1,X0),缺点(B,X2,X1),cons(C,D,X2),% --cons(C、D、Y2),缺点(B、Y2、Y1),缺点(A,Y1,Y0),!.%上面的子句意味着C=[]。gma129607(X0,Y0):-缺点(A,X1,X0),X1,B,C,% --缺点(A、C、Y1),缺点(B,Y1,Y0),!.gma129607(X,X)%%修正其余的,即形式(a.())和()%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA129605[]={CLAUSESEQ_begin(24,2),{3,0,0,3,},{2,0,0,1}};/*A089840[3613]*/%(a.(b.(c.d)))-->(b.(c.(a.d)))%(a.(b.c))-->(b.(a.c))[c隐含()]%%C D和D% \ / \ /%B X2 C Y2 B C空调% \ / \ / \ / \ /%A X1-->B Y1 A X1-->B Y1(C是[])% \ / \ / \ / \ /%X0 Y0 X0 Y0gma129605(X0,Y0):-缺点(A,X1,X0),缺点(B,X2,X1),cons(C,D,X2),% --cons(A、D、Y2),cons(C,Y2,Y1),缺点(B,Y1,Y0),!.%上面的子句意味着C=[]。gma129605(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --缺点(A、C、Y1),缺点(B,Y1,Y0),!.gma129605(X,X)%%修正其余的,即形式(a.())和()%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA129606[]={CLAUSESEQ_begin(24,2),{3,0,0,5,},{2,0,0,1}};/*A089840[3617]*/%(a.(b.(c.d)))-->(c.(a.(b.d)))%(a.(b.c))-->(b.(a.c))[c隐含()]%%C、D、B、D% \ / \ /%B X2 A Y2 B C A C C C A C x 2 A y 2 B C A C% \ / \ / \ / \ /%A X1-->C Y1 A X1-->B Y1(C是[])% \ / \ / \ / \ /%X0 Y0 X0 Y0gma129606(X0,Y0):-缺点(A,X1,X0),缺点(B,X2,X1),cons(C,D,X2),% --缺点(B、D、Y2),缺点(A,Y2,Y1),cons(C,Y1,Y0),!.%上面的子句意味着C=[]。gma129606(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --缺点(A、C、Y1),缺点(B,Y1,Y0),!.gma129606(X,X)%%修正其余的,即形式(a.())和()%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA082353[]={CLAUSESEQ_begin(24,2),{3,2,0,0},{2,0,0,3}};/*A089840[3886]*/%(甲、乙、(丙、丁))-->(甲、乙、丙、丙)%(a.(b.c))-->(b.(c.a))[隐含()]%%C D% \ /%A B C D B Y2 B C C A% \ / \ / \ / \ / \ /%X1 X2-->A Y1 A X1-->B Y1(A是[])% \ / \ / \ / \ /%X0 Y0 X0 Y0gma082353(X0,Y0):-cons(X1,X2,X0),缺点(A、B、X1),cons(C,D,X2),% --cons(C,D,Y2),%%注:Y2等于X2。缺点(B、Y2、Y1),缺点(A,Y1,Y0),!.%上面的子句意味着A=[]。gma082353(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --缺点(C,A,Y1),缺点(B,Y1,Y0),!.gma082353(X,X)%%修正其余的,即形式(a.())和()%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA082354[]={CLAUSESEQ_begin(24,2),{3,0,2,0},{2,0,0,5}};/*A089840[3702]*/%(a.(b.(c.d)))-->(a.b.(c.d))%(a.(b.c))-->(c.(a.b))[c隐含()]%%C D% \ /%B X2 A B C D B C A B% \ / \ / \ / \ / \ /%A X1-->Y1 Y2 A X1-->C Y1% \ / \ / \ / \ /%X0 Y0 X0 Y0gma082354(X0,Y0):-缺点(A,X1,X0),缺点(B,X2,X1),cons(C,D,X2),% --缺点(A、B、Y1),cons(C,D,Y2),%注意Y2等于X2。缺点(Y1、Y2、Y0),!.gma082354(X0,Y0):-缺点(A,X1,X0),cons(B,C,X1),%C根据上述条款隐含[]。% --缺点(A、B、Y1),cons(C,Y1,Y0),!.gma082354(X,X)%%修正其余的,即形式(a.())和()%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA082351[]={CLAUSESEQ_begin(24,2),{3,2,4,0},{2,1,1,5}};/*A089840[4069]*/%((a.b.)(c.d))-->(((a.b.c.d)%((a.b.c)-->((c.a.b)[c隐含()]%%甲B% \ /%A B C D Y2 C A B[]A% \ / \ / \ / \ / \ /%X1 X2-->Y1 D X1[]-->Y1 B% \ / \ / \ / \ /%X0 Y0 X0 Y0gma082351(X0,Y0):-cons(X1,X2,X0),缺点(A、B、X1),cons(C,D,X2),% --cons(A,B,Y2),%%注:Y2等于X1。cons(Y2,C,Y1),缺点(Y1,D,Y0),!.%上面的子句意味着C=[]。gma082351(X0,Y0):-cons(X1,C,X0),X1,B(缺点),% --缺点(C,A,Y1),缺点(Y1,B,Y0),!.gma082351(X,X)%%修复其余部分,即(().b)和()的S-expr%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA082352[]={CLAUSESEQ_begin(24,2),{3,4,2,0},{2,1,1,3}};/*A089840[4253]*/%((a.b.c.d)-->(a.b.(c.d))%((a.b.c)-->((b.c.a)[隐含的()]%%甲B% \ /%X2 C A B C D[]B B C% \ / \ / \ / \ / \ /%X1 D-->Y1 Y2 X1 C-->Y1[]% \ / \ / \ / \ /%X0 Y0 X0 Y0gma082352(X0,Y0):-cons(X1,D,X0),cons(X2,C,X1),缺点(A、B、X2),% --cons(A,B,Y1),%注意Y1等于X2。cons(C、D、Y2),缺点(Y1、Y2、Y0),!.gma082352(X0,Y0):-cons(X1,C,X0),cons(A,B,X1),%A根据上述条款隐含[]。% --缺点(B、C、Y1),缺点(Y1,A,Y0),!.gma082352(X,X)%%修复其余部分,即(().b)和()的S-expr%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%904个含%%的非递归自同构的四个例子%%三项非违约条款共6项开(关)算。%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA129609[]={CLAUSESEQ_begin(39,3),{3,1,2,0,},{2,0,1,2},{1,0,0,1};/*A089840[65167]*/%(a.((b.c.d))-->(a.b.(c.d))%(a.(b.c))-->((a.c.b)[b隐含()]%(a.b)-->(b.a)[b隐含()]%卑诗省% \ /%X2个D A B C D B C A C% \ / \ / \ / \ / \ /%A X1-->Y1 Y2 A X1-->Y1 B A B-->B A% \ / \ / \ / \ / \ / \ /%X0 Y0 X0 Y0 X0 Y0%%gma129609(X0,Y0):-缺点(A,X1,X0),缺点(X2,D,X1),缺点(B、C、X2),% --缺点(A、B、Y1),cons(C、D、Y2),缺点(Y1、Y2、Y0),!.gma129609(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --缺点(A、C、Y1),缺点(Y1,B,Y0),!.gma129609(X0,Y0):-缺点(A、B、X0),% --缺点(B,A,Y0),!.gma129609(X,X)。%%子句gmA129610[]={CLAUSESEQ_begin(39,3),{3,2,1,0,},{2,1,0,2},{1,0,0,1};/*[658935892号*/%((a.b.)(c.d))-->(a.((b.c.d))%((a.b.c)-->(a.(c.b))[c隐含()]%(a.b)-->(b.a)[隐含的()]%%卑诗省% \ /%A B C D Y2 D A B C B% \ / \ / \ / \ / \ /%X1 X2-->A Y1 X1 C-->A Y1 A B B A% \ / \ / \ / \ / \ / --> \ /%X0 Y0 X0 Y0 X0 Y0gma129610(X0,Y0):-cons(X1,X2,X0),缺点(A、B、X1),cons(C,D,X2),% --缺点(B、C、Y2),cons(Y2,D,Y1),缺点(A,Y1,Y0),!.gma129610(X0,Y0):-cons(X1,C,X0),缺点(A、B、X1),% --cons(C、B、Y1),缺点(A,Y1,Y0),!.gma129610(X0,Y0):-缺点(A、B、X0),% --缺点(B,A,Y0),!.gma129610(X,X)。%子句gmA123495[]={CLAUSESEQ_begin(39,3),{3,2,4,16},{2,0,1,0},{1,0,0,1};/*A089840[65518]*/%((a.b.)(c.d))-->(((c.d.a).b)%(a.(b.c))-->((a.b.c)[隐含的()]%(a.b)-->(b.a)[b隐含()]%%C D% \ /%A B C D Y2 A B C[]B% \ / \ / \ / \ / \ /%X1 X2-->Y1 B[]X1-->Y1 C A[][]A% \ / \ / \ / \ / \ / --> \ /%X0 Y0 X0 Y0 X0 Y0gma123495(X0,Y0):-cons(X1,X2,X0),缺点(A、B、X1),cons(C,D,X2),% --cons(C,D,Y2),%%注:Y2等于X2。缺点(Y2,A,Y1),缺点(Y1,B,Y0),!.%上面的子句意味着A=[]。gma123495(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --缺点(A、B、Y1),cons(Y1,C,Y0),!.gma123495(X0,Y0):-缺点(A、B、X0),% --缺点(B,A,Y0),!.gma123495(X,X)%%修复()。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA123496[]={CLAUSESEQ_begin(39,3),{3,4,2,16},{2,1,0,0},{1,0,0,1};/*A089840[65796]*/%((a.b.c.d)-->((c.d.(a.b))%((a.b.c)-->(a.(b.c))[隐含的()]%(a.b)-->(b.a)[隐含的()]%%甲B% \ /%X2 C C D A B[]B B C% \ / \ / \ / \ / \ /%X1 D-->Y1 Y2 X1 C-->[]Y1[]B B[]% \ / \ / \ / \ / \ / --> \ /%X0 Y0 X0 Y0 X0 Y0gma123496(X0,Y0):-cons(X1,D,X0),cons(X2,C,X1),缺点(A、B、X2),% --cons(C、D、Y1),cons(A,B,Y2),%注意Y2等于X2。缺点(Y1、Y2、Y0),!.gma123496(X0,Y0):-cons(X1,C,X0),cons(A,B,X1),%A根据上述条款隐含[]。% --缺点(B、C、Y1),缺点(A,Y1,Y0),!.gma123496(X0,Y0):-缺点(A、B、X0),% --缺点(B,A,Y0),!.gma123496(X,X)%%修复()。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%47878个非递归自同构的一个例子%%两个非违约条款,共6个开(关)算。%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA123492[]={CLAUSESEQ_begin(56,2),{3,1,4,9},{3,4,1,23}};/*A089840[79361]*/%(a.((b.c.d))-->(((b.c.d).a)%((a.b.c.d)-->(d.((a.b.c))[d隐含()或(().X)]%这种对合会影响以下转换:%卑躬屈膝% \ / \ /%X2天Y2天% \ / \ /%A X1-->Y1安% \ / \ / %X0年%%A,B,B,B% \ / \ /%X2摄氏度Y2摄氏度% \ / \ /%X1 D-->D Y1% \ / \ / %X0年%%在方案中,这可以定义为:%(定义(*A123492!s)%(条件((空?s)%((和(对(cdr s))(对(cadr s))(*A069770!s))%((and(对?(caar s))(对(caar s))(*A069770!s))% )%s% )gma123492(X0,Y0):-缺点(A,X1,X0),缺点(X2,D,X1),缺点(B、C、X2),% --缺点(B、C、Y2),cons(Y2,D,Y1),缺点(Y1,A,Y0),!.%表示D=[]或D=[[]|…]gma123492(X0,Y0):-cons(X1,D,X0),cons(X2,C,X1),缺点(A、B、X2),% --缺点(A、B、Y2),Y2、Y2和Y2,缺点(D,Y1,Y0),!.gma123492(X,X)%%把剩下的修好。%另一个版本,因为子句可以按任意顺序指定:%%条款gmA123492b[]={CLAUSESEQ_begin(56,2),{3,4,1,23},{3,1,4,9}};%((a.b.c.d)-->(d.((a.b.c))%(a.((b.c.d))-->(((b.c.d).a)[a默示()或(().X)]%这种对合会影响以下转换:%A,B,B,B% \ / \ /%X2摄氏度Y2摄氏度% \ / \ /%X1 D-->D Y1% \ / \ / %X0年%%卑躬屈膝% \ / \ /%X2天Y2天% \ / \ /%A X1-->Y1安% \ / \ / %X0年%%在方案中,这可以定义为:%(定义(*A123492v2!s)%(条件((空?s)%((and(对?(caar s))(对(caar s))(*A069770!s))%((和(对(cdr s))(对(cadr s))(*A069770!s))% )%s% )gma123492b(X0,Y0):-cons(X1,D,X0),cons(X2,C,X1),缺点(A、B、X2),% --缺点(A、B、Y2),cons(Y2,C,Y1),缺点(D,Y1,Y0),!.%表示A=[]或A=[[]|…]gma123492b(X0,Y0):-缺点(A,X1,X0),缺点(X2,D,X1),缺点(B、C、X2),% --缺点(B、C、Y2),cons(Y2,D,Y1),缺点(Y1,A,Y0),!.gma123492b(X,X)%%把剩下的修好。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%20972个非递归自同构的6个例子%%三项非违约条款共7项开(关)算。%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA073281[]={CLAUSESEQ_begin(103,3),{3,1,1,7,},{2,0,1,2},{2,1,0,2};/*A089840[1654023]*/%%B、C和D% \ / \ /%X2 D Y2断路器% \ / \ / \ / \ / \ / \ /%A X1-->B Y1 A X1-->Y1 B X1 C-->A Y1% \ / \ / \ / \ / \ / \ /%X0 Y0 X0 Y0 X0 Y0%注意,如果我们谈到第二个子句,那么B是隐含的(),%如果我们说到第三个子句,那么C是隐含的()。gma073281(X0,Y0):-缺点(A,X1,X0),缺点(X2,D,X1),缺点(B、C、X2),% --2年,2年,cons(Y2,C,Y1),缺点(B,Y1,Y0),!.gma073281(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --缺点(A、C、Y1),缺点(Y1,B,Y0),!.gma073281(X0,Y0):-cons(X1,C,X0),缺点(A、B、X1),% --cons(C、B、Y1),缺点(A,Y1,Y0),!.gma073281(X,X)%%把剩下的修好。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%A089859/A089863的“正方形”。%子句gmA089864[]={CLAUSESEQ_begin(103,3),{3,2,2,7,},{2,0,0,2},{2,1,1,1}};/*A089840[1654694]*/%(甲、乙、丙、丙)-->(甲、乙、丙)%(a.(b.c))-->(a.(c.b))[隐含()]%((a.b.c)-->((b.a.c)[c隐含()]%%这种对合会影响以下转换:%%A B C D B A D C B C B B A B B A B B A B C B B A B B B A B C B B B A B B C B B B A B B C B B B B A B B C B B B A B B B B B A B B C B B B B A B B% \ / \ / \ / \ / \ / \ / \ / \ /%X1 X2-->Y1 Y2 A X1-->A Y1 X1 C-->Y1 C% \ / \ / \ / \ / \ / \ /%X0 Y0 X0 Y0 X0 Y0%%在方案中,这可以定义为:%(定义(gma089864!s)%(条件((对)%(if(配对(s车))(交换!(s车))%(if(配对(cdr s))(交换!(cdr s)))% )% )%s% )%哪里换人!定义为:%(定义(swap!s)%(出租汽车(不包括汽车)%(设置车!s(cdr s))%(设置cdr!s ex car)%s% )% )gma089864(X0,Y0):-cons(X1,X2,X0),缺点(A、B、X1),cons(C,D,X2),% --缺点(B、A、Y1),cons(D、C、Y2),缺点(Y1、Y2、Y0),!.%上面的子句意味着A=[]。gma089864(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --cons(C、B、Y1),缺点(A,Y1,Y0),!.%上面的子句意味着C=[]。gma089864(X0,Y0):-cons(X1,C,X0),缺点(A、B、X1),% --缺点(B、A、Y1),cons(Y1,C,Y0),!.gma089864(X,X)%%修复其余部分,即S-exprs()和(().())%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%另一个版本,它显示最后两个子句的顺序%无关紧要:%子句gmA089864b[]={clauseq_begin(103,3),{3,2,2,7,},{2,1,1},{2,0,0,2}};% %尝试:applyGatUptoN(gma089864196,X),applyGatUptoN(gma089864b,196,Y),X==Y。gma089864b(X0,Y0):-cons(X1,X2,X0),缺点(A、B、X1),cons(C,D,X2),% --缺点(B、A、Y1),cons(D、C、Y2),缺点(Y1、Y2、Y0),!.%上面的子句意味着C=[]。gma089864b(X0,Y0):-cons(X1,C,X0),缺点(A、B、X1),% --缺点(B、A、Y1),cons(Y1,C,Y0),!.%上面的子句意味着A=[]。gma089864b(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --cons(C、B、Y1),缺点(A,Y1,Y0),!.gma089864b(X,X)%%修复其余部分,即S-exprs()和(().())%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%英夫克罗夫(*A069770)%子句gmA129604[]={CLAUSESEQ_begin(103,3),{3,2,2,20,},{2,0,1,4},{2,1,0,4};/*A089840[1654720]*/%(甲、乙、丙、丙)-->(甲、乙、丙)%(a.(b.c))-->((c.b.a)[a默示()]%((a.b.c)-->(c.(b.a))[c隐含()]%%这种对合会影响以下转换:%%A B C D D C B A B C C B A B B A B B A B C B B A B B B A B C D D C B B A B B C B B B B B B C B B B C B B B B B C B B B B B B B C B B B B B% \ / \ / \ / \ / \ / \ / \ / \ /%X1 X2-->Y1 Y2 A X1-->Y1 A X1 C-->C Y1% \ / \ / \ / \ / \ / \ /%X0 Y0 X0 Y0 X0 Y0%%A129604=A069770到A089864=A089864到A069770%在方案中,这可以定义为:%(定义(*A129604!s)%(条件((对)%(*A069770!(s车))%(*A069770!(cdr s))%(*A069770!s)% )% )%s% )gma129604(X0,Y0):-cons(X1,X2,X0),缺点(A、B、X1),cons(C,D,X2),% --cons(D、C、Y1),缺点(B、A、Y2),缺点(Y1、Y2、Y0),!.%上面的子句意味着A=[]。gma129604(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --cons(C、B、Y1),缺点(Y1,A,Y0),!.%上面的子句意味着C=[]。gma129604(X0,Y0):-cons(X1,C,X0),缺点(A、B、X1),% --缺点(B、A、Y1),cons(C,Y1,Y0),!.gma129604(X,X)%%修复其余部分,即S-exprs()和(().())%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA123497[]={CLAUSESEQ_begin(103,3),{3,3,1,6,},{2,1,1},{2,0,0,1}};/*A089840[1655089]*/%(a.(b.c)).d)-->(a.((b.d.c))%((a.b.c)-->((a.c.b)%(a.(b.c))-->(b.(a.c))%%B、C和D% \ / \ /%A X2 Y2 C A[]A C B C[]C% \ / \ / \ / \ / \ / \ /%X1 D-->A Y1 X1 C-->Y1[]X1-->B Y1% \ / \ / \ / \ / \ / \ /%X0 Y0 X0 Y0 X0 Y0gma123497(X0,Y0):-cons(X1,D,X0),缺点(A,X2,X1),缺点(B、C、X2),% --缺点(B、D、Y2),cons(Y2,C,Y1),缺点(A,Y1,Y0),!.gma123497(X0,Y0):-cons(X1,C,X0),缺点(A、B、X1),% --缺点(A、C、Y1),缺点(Y1,B,Y0),!.gma123497(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --缺点(A、C、Y1),缺点(B,Y1,Y0),!.gma123497(X,X)。%方案定义:%(定义(*A123497!s)%(条件((空?s)%((和(对?(车厢))(对?(cdar s)))%(*A074680!s)%(let((old-cddr-s(cddr s)))%(设置cdr!(cdr s)(cdadr s))%(设置cdr!(cadr s)old-cddr-s)% )% )%((对(s车)(*A072797!s))%((对(cdr s))(*A072796!s))% )%s% )% % %%子句gmA123498[]={CLAUSESEQ_begin(103,3),{3,1,3,6,},{2,0,0,1},{2,1,1,2}};/*A089840[1654249]*/%(a.((b.c.d))-->(a.(b.d)).c)%(a.(b.c))-->(b.(a.c))%((a.b.c)-->((a.c.b)%%B、C和D% \ / \ /%X2 D A Y2[]C A C A B A[]% \ / \ / \ / \ / \ / \ /%A X1-->Y1 C A X1-->[]Y1 X1[]-->Y1 B% \ / \ / \ / \ / \ / \ /%X0 Y0 X0 Y0 X0 Y0gma123498(X0,Y0):-缺点(A,X1,X0),缺点(X2,D,X1),缺点(B、C、X2),% --缺点(B、D、Y2),Y2,Y2(缺点),cons(Y1,C,Y0),!.gma123498(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --缺点(A、C、Y1),缺点(B,Y1,Y0),!.gma123498(X0,Y0):-cons(X1,C,X0),缺点(A、B、X1),% --缺点(A、C、Y1),缺点(Y1,B,Y0),!.gma123498(X,X)。%方案定义:%(定义(*A123498!s)%(条件((空?s)%((和(配对(cdr))(配对(cadr)))%(let((old-cddr-s(cddr s)))%(设置cdr!(cdr s)(cdadr s))%(设置cdr!(cadr s)old-cddr-s)% )%(*A074679!s)% )%((对(cdr s))(*A072796!s))%((对(s车)(*A072797!s))% )%s% )%子句gmA123695[]={CLAUSESEQ_begin(99,3),{2,0,1,0,},{3,3,1,23,},{2,1,0,3};/*A089840[1653002]*/%非规范形式:%子句gmA123695b[]={clauseq_begin(99,3),{2,0,1,0,},{3,3,1,23,},{2,1,0,4}};%(a.(b.c))-->(a.b.c)%(a.(b.c)).d)-->(d.((a.b.c))%(a.b.c)-->(b.(c.a)%在变型b中,最后一句替换为:%(a.b.c)-->(c.(b.a)%%卑鄙小人% \ / \ /%B C A B A X2 Y2 C A[][]A% \ / \ / \ / \ / \ / \ /%一个X1-->Y1 C X1[]-->[]Y1 X1[]-->[]Y1% \ / \ / \ / \ / \ / \ /%X0 Y0 X0 Y0 X0 Y0%%方案定义:%(定义(*A123695!s)%(条件((空?s)%((对(cdr s))(*A074679!s))%((对?(s车)(*A074679!(s车))(*A069770!s))% )%s% )gma123695(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --缺点(A、B、Y1),cons(Y1,C,Y0),!.%D隐含[]。gma123695(X0,Y0):-cons(X1,D,X0),缺点(A,X2,X1),缺点(B、C、X2),% --缺点(A、B、Y2),cons(Y2,C,Y1),缺点(D,Y1,Y0),!.%B和C隐含[]。gma123695(X0,Y0):-cons(X1,C,X0),X1,B(缺点),% --缺点(C,A,Y1),缺点(B,Y1,Y0),!.%%在替代版本中,最后一个非默认条款是:%%%%gma123695(X0,Y0):-%%cons(X1,C,X0),%%缺点(A、B、X1),%% % --%%缺点(B、A、Y1),%%cons(C,Y1,Y0),%% !.gma123695(X,X)。%%子句gmA123696[]={CLAUSESEQ_begin(99,3),{2,1,0,0,},{3,1,3,9,},{2,0,1,4}};/*A089840[1653063]*/%(a.b.c)-->(a.(b.c)%(a.((b.c.d))-->(b.(c.d)).a)%(a.(b.c))-->(c.b.a)%%B、C、C、D% \ / \ /%A B B C X2 D B Y2[]C C[]% \ / \ / \ / \ / \ / \ /%X1 C-->A Y1[]X1-->Y1[]X1-->Y1[]% \ / \ / \ / \ / \ / \ /%X0 Y0 X0 Y0 X0 Y0%方案定义:%(定义(*A123696!s)%(条件((空?s)%((对(s车)(*A074680!s))%((对(cdr s))(*A074680!(cdr s))(*A069770!s))% )%s% )gma123696(X0,Y0):-cons(X1,C,X0),缺点(A、B、X1),% --缺点(B、C、Y1),缺点(A,Y1,Y0),!.gma123696(X0,Y0):-缺点(A,X1,X0),缺点(X2,D,X1),缺点(B、C、X2),% --cons(C、D、Y2),缺点(B、Y2、Y1),缺点(Y1,A,Y0),!.gma123696(X0,Y0):-缺点(A,X1,X0),缺点(B、C、X1),% --cons(C、B、Y1),缺点(Y1,A,Y0),!.gma123696(X,X)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%1017174个非递归自同构的两个例子%%两个非违约条款共7个开(关)算。%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA123713[]={CLAUSESEQ_begin(124,2),{2,1,1,3,},{5,13,13,152}};/*A089840[1783367]*/%((a.b.c)-->((b.c.a)(c.f.A089855)%(a.((((b.c.d.e.f))-->(a.((((c.d.e.f).b))%%%A B B C% \ / \ /%X1 C-->Y1安% \ / \ /%X0年%%B、C、C、D% \ / \ /%X4天Y4天% \ / \ /%X3 E Y3 F型% \ / --> \ /%X2至Y2 B% \ / \ /%[]X1[]Y1% \ / \ /%X0年%gma123713(X0,Y0):-cons(X1,C,X0),缺点(A、B、X1),% --缺点(B、C、Y1),缺点(Y1,A,Y0),!.gma123713(X0,Y0):-缺点(A,X1,X0),cons(X2,F,X1),cons(X3,E,X2),cons(X4、D、X3),cons(B、C、X4),% --cons(C、D、Y4),缺点(Y4,E,Y3),cons(Y3,F,Y2),cons(Y2,B,Y1),缺点(A,Y1,Y0),!.gma123713(X,X)。%子句gmA123714[]={CLAUSESEQ_begin(124,2),{2,1,1,5,},{5,13,13,566}};/*A089840[1786785]*/%((a.b.c)-->((c.a.b)(c.f.A089857)%(a.((((b.c.d.e.f))-->(a.((((f.b.c.d.d).e))% %%A、B、C、A% \ / \ /%X1 C-->Y1 B% \ / \ /%X0年%%%B、C、F、B% \ / \ /%X4天Y4摄氏度% \ / \ /%X3和Y3 D% \ / --> \ /%X2 F Y2 E% \ / \ /%[]X1[]Y1% \ / \ /%X0年%gma123714(X0,Y0):-cons(X1,C,X0),缺点(A、B、X1),% --缺点(C,A,Y1),缺点(Y1,B,Y0),!.gma123714(X0,Y0):-缺点(A,X1,X0),cons(X2,F,X1),cons(X3,E,X2),cons(X4、D、X3),cons(B、C、X4),% --缺点(F、B、Y4),缺点(Y4,C,Y3),缺点(Y3、D、Y2),缺点(Y2,E,Y1),缺点(A,Y1,Y0),!.gma123714(X,X)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%应用程序(GMA01477,X,Y):-gma001477(X,Y)。应用程序(gma069770,X,Y):-gma069770(X,Y)。应用程序(gma072796,X,Y):-GMA076年7月27日。应用程序(gma089850,X,Y):-gma089850(X,Y)。应用软件(gma089851,X,Y):-gma089851(X,Y)。应用程序(gma089852,X,Y):-gma089852(X,Y)。应用程序(gma089853,X,Y):-gma089853(X,Y)。应用程序(gma089854,X,Y):-gma089854(X,Y)。应用程序(GMA07297X,Y):-gma072797(X,Y)。应用程序(gma089855,X,Y):-gma089855(X,Y)。应用程序(gma089856,X,Y):-gma089856(X,Y)。应用程序(gma089857,X,Y):-gma089857(X,Y)。应用程序(GMA04679,X,Y):-GMA04679(X,Y)。应用程序(gma089858,X,Y):-gma089858(X,Y)。应用软件(gma073269,X,Y):-gma073269(X,Y)。应用程序(gma089859,X,Y):-gma089859(X,Y)。应用程序(gma089860,X,Y):-gma089860(X,Y)。应用程序(GMA07480,X,Y):-gma074680(X,Y)。应用软件(gma089861,X,Y):-gma089861(X,Y)。应用软件(gma073270,X,Y):-gma073270(X,Y)。应用软件(gma089862,X,Y):-gma089862(X,Y)。应用程序(gma089863,X,Y):-gma089863(X,Y)。应用程序(gma082354,X,Y):-gma082354(X,Y)。应用程序(gma082353,X,Y):-gma082353(X,Y)。应用程序(gma082351,X,Y):-gma082351(X,Y)。应用程序(gma082352,X,Y):-gma082352(X,Y)。应用软件(gma073281,X,Y):-gma073281(X,Y)。应用程序(gma089864,X,Y):-gma089864(X,Y)。应用程序(gma089864b,X,Y):-gma089864b(X,Y)。应用软件(gma123492,X,Y):-gma123492(X,Y)。应用软件(gma123492b,X,Y):-gma123492b(X,Y)。应用软件(gma123495,X,Y):-gma123495(X,Y)。应用软件(gma123496,X,Y):-gma123496(X,Y)。应用软件(gma123497,X,Y):-gma123497(X,Y)。应用软件(gma123498,X,Y):-gma123498(X,Y)。应用软件(gma123499,X,Y):-gma123499(X,Y)。应用软件(gma123500,X,Y):-gma123500(X,Y)。应用软件(gma123503,X,Y):-gma123503(X,Y)。应用软件(gma123695,X,Y):-GMAX(1235年)。应用软件(gma123696,X,Y):-gma123696(X,Y)。应用软件(gma123713,X,Y):-gma123713(X,Y)。应用软件(gma123714,X,Y):-gma123714(X,Y)。应用软件(gma129604,X,Y):-gma129604(X,Y)。应用软件(gma129605,X,Y):-gma129605(X,Y)。应用软件(gma129606,X,Y):-gma129606(X,Y)。应用软件(gma129607,X,Y):-gma129607(X,Y)。应用软件(gma129609,X,Y):-gma129609(X,Y)。应用软件(gma129610,X,Y):-gma129610(X,Y)。应用软件(gma129611,X,Y):-gma129611(X,Y)。应用软件(gma129612,X,Y):-gma129612(X,Y)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%签字人(gma001477,U,X):-applyGatUptoN(gma001477,U,X)。签字人(gma069770,U,X):-applyGatUptoN(gma069770,U,X)。签名(gma072796,U,X):-applyGatUptoN(gma072796,U,X)。签字人(gma089850,U,X):-applyGatUptoN(gma089850,U,X)。签字人(gma089851,U,X):-applyGatUptoN(gma089851,U,X)。签名(gma089852,U,X):-applyGatUptoN(gma089852,U,X)。签名(gma089853,U,X):-applyGatUptoN(gma089853,U,X)。签字人(gma089854,U,X):-applyGatUptoN(gma089854,U,X)。签名(GMA07297U,X):-applyGatUptoN(gma072797,U,X)。签字人(gma089855,U,X):-applyGatUptoN(gma089855,U,X)。签名(gma089856,U,X):-applyGatUptoN(gma089856,U,X)。签名(gma089857,U,X):-applyGatUptoN(gma089857,U,X)。签字人(GMA04679,U,X):-应用加图顿(gma074679,U,X)。签字人(gma089858,U,X):-applyGatUptoN(gma089858,U,X)。签名(gma073269,U,X):-applyGatUptoN(gma073269,U,X)。签名(gma089859,U,X):-applyGatUptoN(gma089859,U,X)。签字人(gma089860,U,X):-applyGatUptoN(gma089860,U,X)。签字人(GMA07480,U,X):-应用加图顿(GMA07480,U,X)。签字人(gma089861,U,X):-applyGatUptoN(gma089861,U,X)。签字人(gma073270,U,X):-applyGatUptoN(gma073270,U,X)。签字人(gma089862,U,X):-applyGatUptoN(gma089862,U,X)。签名(gma089863,U,X):-applyGatUptoN(gma089863,U,X)。签字人(gma082354,U,X):-applyGatUptoN(gma082354,U,X)。签字人(gma082353,U,X):-applyGatUptoN(gma082353,U,X)。ATGMA,佩尔莫2351号:-applyGatUptoN(gma082351,U,X)。签字人(gma082352,U,X):-applyGatUptoN(gma082352,U,X)。签字人(gma073281,U,X):-applyGatUptoN(gma073281,U,X)。签名(gma089864,U,X):-applyGatUptoN(gma089864,U,X)。签名(gma089864b,U,X):-applyGatUptoN(gma089864b,U,X)。签名(gma123492,U,X):-applyGatUptoN(gma123492,U,X)。签字人(gma123492b,U,X):-applyGatUptoN(gma123492b,U,X)。签名(gma123495,U,X):-applyGatUptoN(gma123495,U,X)。签字人(gma123496,U,X):-applyGatUptoN(gma123496,U,X)。签名(gma123497,U,X):-applyGatUptoN(gma123497,U,X)。签名(gma123498,U,X):-applyGatUptoN(gma123498,U,X)。签字人(gma123499,U,X):-applyGatUptoN(gma123499,U,X)。签字人(gma123500,U,X):-applyGatUptoN(gma123500,U,X)。签字人(gma123503,U,X):-applyGatUptoN(gma123503,U,X)。签名(gma123695,U,X):-applyGatUptoN(gma123695,U,X)。签名(gma123696,U,X):-applyGatUptoN(gma123696,U,X)。签字人(gma123713,U,X):-applyGatUptoN(gma123713,U,X)。签字人(gma123714,U,X):-applyGatUptoN(gma123714,U,X)。签名(gma129604,U,X):-applyGatUptoN(gma129604,U,X)。签名(gma129605,U,X):-applyGatUptoN(gma129605,U,X)。签名(gma129606,U,X):-applyGatUptoN(gma129606,U,X)。签名(gma129607,U,X):-applyGatUptoN(gma129607,U,X)。签名(gma129609,U,X):-applyGatUptoN(gma129609,U,X)。签字人(gma129610,U,X):-applyGatUptoN(gma129610,U,X)。签名(gma129611,U,X):-applyGatUptoN(gma129611,U,X)。签名(gma129612,U,X):-applyGatUptoN(gma129612,U,X)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%应用加顿(X,G,Y):-n2s(X,S),应用GAT(G、S、T),n2s(Y,T)。应用加图顿(G,U,W):-ApplyGatupNaux(G,U,[],W)。ApplyGatupNaux(,-1,W,W):-!.ApplyGatupNaux(G,U,Zs,W):-应用加顿(U,G,Z),V是U-1,应用加图普诺(G,V,[Z | Zs],W)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%本表采用Scheme函数编制(prepare prolog table 196)%%有关来源,请参见:%% http://www.iki.fi/~karturi/matikka/Nekomorphisms/gatorank.scm%%我们使用绿色切割,因为这是内射映射:n2s(0,[]):-!.[]秒,[]-!.n2s(2,[[],[]]):-!.n2s(3,[[[]]]):-!.n2s(4,[[],[],[]):-!.n2s(5,[[],[[]]):-!.n2s(6,[[[]],[]]):-!.n2s(7,[[[],[]]):-!.n2s(8,[[[[]]]]):-!.n2s(9,[[],[],[],[]):-!.n2s(10,[[],[],[[]]):-!.n2s(11,[[],[[]],[]]):-!.n2s(12,[[],[[],[]]):-!.n2s(13,[[],[[[]]]):-!.n2s(14,[[[]],[],[]]):-!.n2s(15,[[[]],[[]]):-!.n2s(16,[[[],[]],[]]):-!.n2s(17,[[[],[],[]]):-!.n2s(18,[[[],[[]]]):-!.n2s(19,[[[[]],[]]):-!.n2s(20,[[[[]],[]]):-!.n2s(21,[[[[],[]]]):-!.n2s(22,[[[[[]]]]):-!.n2s(23、[[]、[]、[]、[]、[]):-!.n2s(24,[[],[],[],[[]]):-!.n2s(25,[[],[],[[],[]]):-!.n2s(26,[[],[],[[],[]]):-!.n2s(27,[[],[],[[[]]]):-!.n2s(28、[[]、[]]、[]、[]):-!.n2s(29,[[],[[]],[[]]):-!.n2s(30,[[],[[],[]],[]]):-!.n2s(31,[[],[[],[],[]]):-!.n2s(32,[[],[[],[[]]]):-!.n2s(33,[[],[[[]],[]]):-!.n2s(34、[[]、[[]]、[]]):-!.n2s(35、[[]、[[]、[]]]):-!.n2s(36,[[],[[[[]]]]]):-!.n2s(37,[[[]],[],[],[]]):-!.n2s(38,[[[]],[],[[]]):-!.n2s(39,[[[]],[[]],[]]):-!.n2s(40,[[[]],[[],[]]):-!.n2s(41,[[[]],[[[]]]):-!.n2s(42,[[[],[]],[],[]]):-!.n2s(43,[[[],[]],[[]]):-!.n2s(44,[[[],[],[],[]):-!.n2s(45,[[[],[],[],[]]):-!.n2s(46,[[[],[],[[]]]):-!.n2s(47,[[[],[[]],[]]):-!.n2s(48、[[[]、[[]]、[]]):-!.n2s(49,[[[],[[],[]]]):-!.n2s(50,[[[],[[[]]]]]):-!.n2s(51,[[[[]]],[],[]]):-!.n2s(52,[[[[]]],[[]]):-!.n2s(53,[[[[]],[]],[]]):-!.n2s(54,[[[[]],[],[]]):-!.n2s(55,[[[[]],[[]]]):-!.n2s(56,[[[[],[]],[]]):-!.n2s(57,[[[[],[]],[]]):-!.n2s(58,[[[[],[],[]]]):-!.n2s(59,[[[[],[[]]]]):-!.n2s(60,[[[[]]],[]]):-!.n2s(61,[[[[[]],[]]):-!.n2s(62,[[[[[]],[]]]):-!.n2s(63,[[[[],[]]]]]):-!.n2s(64,[[[[[[]]]]]):-!.n2s(65、[[]、[]、[]、[]、[]、[]):-!.n2s(66,[[],[],[],[],[[]]):-!.n2s(67、[[]、[]、[]、[]、[]]:-!.n2s(68,[[],[],[],[[],[]]):-!.n2s(69,[[],[],[],[[[]]]):-!.n2s(70、[[]、[]、[]]、[]、[]]):-!.n2s(71、[[]、[]、[[]]、[[]]):-!.n2s(72,[[],[],[[],[],[]):-!.[]年[]月[]日,[]日-!.n2s(74,[[],[],[[],[[]]]):-!.n2s(75、[[]、[]、[[]]、[]]):-!.n2s(76、[[]、[]、[[]]、[]]):-!.n2s(77、[[]、[]、[[]、[]]]):-!.n2s(78,[[],[],[[[[]]]]]):-!.n2s(79、[[]、[]]、[]、[]、[]]):-!.n2s(80,[[],[[]],[],[[]]):-!.n2s(81、[[]、[]]、[[]]、[]]):-!.n2s(82,[[],[[]],[[],[]]):-!.n2s(83,[[],[[]],[[[]]]):-!.n2s(84,[[],[[],[],[],[]):-!.n2s(85、[[]、[[]、[]]、[[]]):-!.n2s(86,[[],[[],[],[]):-!.n2s(87,[[],[[],[],[],[]]):-!.n2s(88、[[]、[[]、[]、[[]]]):-!.n2s(89、[[]、[[]、[[]]、[]]):-!.n2s(90、[[]、[[]、[[]]、[]]):-!.n2s(91,[[],[[],[[],[]]]):-!.n2s(92,[[],[[],[[[]]]]]):-!.n2s(93、[[]、[[]]、[]、[]]):-!.n2s(94、[[]、[[]]、[[]]):-!.n2s(95、[[]、[[]]、[]]、[]]):-!.n2s(96、[[]、[[]]、[]、[]]):-!.n2s(97、[[]、[[]]、[[]]]):-!.n2s(98、[[]、[[]、[]]、[]]):-!.n2s(99、[[]、[[]、[]]、[]]):-!.n2s(100、[[]、[[]、[]、[]]]):-!.n2s(101、[[]、[[]、[[]]]]]):-!.n2s(102、[[]、[[[[]]]、[]]):-!.n2s(103、[[]、[[[[]]]、[]]):-!.n2s(104、[[]、[[[]]、[]]]):-!.n2s(105、[[]、[[[]、[]]]]]):-!.n2s(106,[[],[[[[]]]]]]):-!.n2s(107、[[]]、[]、[]、[]、[]]):-!.n2s(108、[[[]]、[]、[]、[[]]):-!.n2s(109、[[]]、[]、[[]]、[]]):-!.n2s(110、[[[]]、[]、[[]、[]]):-!.n2s(111,[[[]],[[[]]]):-!.n2s(112、[[]]、[[]]、[]、[]]):-!.n2s(113、[[]]、[[]]、[[]]):-!.n2s(114、[[]]、[[]、[]]、[]]):-!.n2s(115、[[]]、[[]、[]、[]]):-!.n2s(116、[[]]、[[]、[[]]]):-!.n2s(117,[[[]],[[[]],[]]):-!.n2s(118、[[[]]、[[]]、[]]):-!.n2s(119,[[[]],[[[],[]]]):-!.n2s(120,[[[]],[[[[]]]]]):-!.n2s(121、[[[]、[]]、[]、[]、[]]):-!.n2s(122,[[[],[]],[],[[]]):-!.n2s(123、[[]、[]]、[[]]、[]]):-!.n2s(124、[[[]、[]]、[[]、[]]):-!.n2s(125,[[[],[]],[[[]]]):-!.n2s(126,[[[],[],[],[],[]):-!.n2s(127、[[]、[]、[]]、[[]]):-!.n2s(128、[[]、[]、[]、[]、[]]):-!.n2s(129、[[]、[]、[]、[]、[]]):-!.n2s(130,[[[],[],[],[[]]]):-!.n2s(131、[[[]、[]、[[]]、[]]):-!.n2s(132、[[]、[]、[[]]、[]]):-!.n2s(133、[[[]、[]、[[]、[]]]):-!.n2s(134,[[[],[],[[[]]]]]):-!.n2s(135、[[[]、[[]]、[]、[]]):-!.n2s(136、[[]、[[]]、[[]]):-!.n2s(137、[[]、[[]、[]]、[]]):-!.n2s(138、[[[]、[[]]、[]、[]]):-!.n2s(139、[[[]、[[]]、[[]]]):-!.n2s(140、[[]、[[]、[]]、[]]):-!.n2s(141、[[]、[[]、[]]、[]]):-!.n2s(142、[[]、[[]、[]、[]、[]]]):-!.n2s(143、[[]、[[]、[[]]]]]):-!.n2s(144,[[[],[[[]]],[]]):-!.[]年[]月[]日-!.n2s(146、[[[]、[[]]、[]]]):-!.n2s(147、[[[]、[[]、[]]]]]):-!.n2s(148,[[[],[[[[]]]]]]):-!.n2s(149、[[[[]]]、[]、[]、[]]):-!.n2s(150,[[[[]]],[],[[]]):-!.n2s(151、[[[[]]]、[[]]、[]]):-!.n2s(152、[[[[]]]、[[]、[]]):-!.n2s(153,[[[[]]],[[[]]]):-!.n2s(154、[[[[]]、[]]、[]、[]]):-!.n2s(155、[[[]]、[]]、[[]]):-!.n2s(156、[[[[]]、[]、[]]、[]]):-!.n2s(157、[[[[]]、[]、[]、[]]):-!.n2s(158,[[[[]],[],[[]]]):-!.n2s(159、[[[]]、[[]]、[]]):-!.n2s(160、[[[]]、[[]]、[]]):-!.n2s(161、[[[[]]、[[]、[]]]):-!.n2s(162,[[[[]],[[[]]]]]):-!.n2s(163,[[[[],[]],[],[]]):-!.n2s(164、[[[]、[]]、[[]]):-!.n2s(165、[[[]、[]]、[]]、[]]):-!.n2s(166、[[[[]、[]]、[]、[]]):-!.n2s(167、[[[]、[]]、[[]]]):-!.n2s(168、[[[[]、[]、[]]、[]]):-!.n2s(169、[[[[]、[]、[]]、[]]):-!.n2s(170,[[[[],[],[],[]]]):-!.n2s(171,[[[[],[],[[]]]]]):-!.n2s(172、[[[[]、[[]]]、[]]):-!.n2s(173、[[[]、[[]]、[]]):-!.n2s(174、[[[[]、[[]]、[]]]):-!.n2s(175、[[[]、[[]、[]]]]]):-!.n2s(176,[[[],[[[]]]]]]):-!.n2s(177,[[[[]]],[],[]]):-!.n2s(178,[[[[]]],[[]]):-!.n2s(179,[[[[]],[]],[]]):-!.n2s(180,[[[[]],[],[]]):-!.n2s(181,[[[[]],[[]]]):-!.n2s(182,[[[[]],[]],[]]):-!.n2s(183,[[[[]],[]],[]]):-!.n2s(184,[[[[]],[],[]]]):-!.n2s(185,[[[[]],[[]]]]]):-!.n2s(186,[[[[],[]]],[]]):-!.n2s(187,[[[[],[]],[]]):-!.n2s(188,[[[[],[]],[]]]):-!.n2s(189,[[[[],[],[]]]]]):-!.n2s(190,[[[[],[[]]]]]]):-!.n2s(191,[[[[[]]]],[]]):-!.n2s(192个,[[[[[[]]],[]]):-!.n2s(193,[[[[[]],[]]]):-!.n2s(194,[[[[[]],[]]]]]):-!.n2s(195,[[[[[],[]]]]]]):-!.n2s(196,[[[[[[[]]]]]]):-!.