%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%http://www.research.att.com/~njas/sequences/A089840p.txt%% %%% %%生成A089840的第一行%% %%。%%由Antti Karttunen撰写,2003年,http://www.iki.fi/karturi/%%%%%%% %%%最后编辑者:AK,2007年5月22日。%%版权所有%u(至少%%GNU.org)版权所有%u%%。%%%%,然后使用:%%。%%%%或:findall([G | S),signatperm(G,196,S),GMs_和他们的符号。%%关于这些相同的自同构的C实现,请参见:%%%%%%,来自http://www.research.att.com/~njas/sequences/a089839.C.txt%%;%%%% %%,有关方案实现,请参见:%%.@gmail.com%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%;;;;%在《中华区范围内;%非递归式过氧化氢自同构式》是一种“非递归式过氧化氢自同构式”,即“非递归式过氧化氢自同构式”,即其行为行为行为“行为”行为行为行为为行为的无标记的无标记根平面二叉树(见A014486)的自同构式二叉树(见《A0144%总是,不是不管树有多大,都是由从距离根的 %常量有限距离的有限节点集获得的 %信息决定的。 %注意节点包含的唯一信息(未标记) %是叶(终端节点)还是 %“内部”节点,分支到其他子树非递归的Catalan自同构的左和/或 % % %子句表示是零个或多个“子句”后跟默认子句的 %序列。 % %组合查看,n个打开conses的子句由 %一对有根平面二叉树(都有n个内部节点)组成,其中另一个未标记,另一个终端的 %节点已标记。序列A089835(n)=(A000108(n)^2)*(n+1)!在“Prolog”中,“%这样的从句”的实作是“Prolog子句”的一个从句,%(定义如下); %双向“cons”是一个子句,它要么“劈开”现有的 %cons单元(即,具有其左、右两个边的二叉树的分支节点),要么从给定的左、右 %子树构造一个新的 %cons(CAR,CDR,[CAR | CDR])。 %,%构造一个新的cons单元格(放置到第三个, %未实例化的参数),其中CAR是它的左子树, %和CDR是它的右子树。 %如果第一个和第二个参数是未实例化的, %但是第三个参数被实例化,然后获得它的 %左侧(CAR)和右侧(CDR),并将 %放在第一个和第二个参数中。 %是简单的非递归自同构的示例。 %(在简单的标识置换GMA01477之后) %在有根的平面二叉树上,用简单的ASCII art、 % %及其定义的Prolog子句定义,并故意使用红色剪切线。 %注释行上方给出“开始”conse, %,%下面给出“closing”conse。 % %每个Prolog定义以gmaxxxxx(X,X)形式的“catch all”默认子句 %结尾。它将修复所有以前的子句(即上面的子句)未处理的S表达式 %。 %目的树标签中使用的排列。 %源树和目的树的等级采用OEIS条目A014486中使用的标准 %词典排序顺序。 %对于排列,我们使用OEIS中的条目A060118所示的 %的取消排列/排名系统,其工作原理如下: %(permute-a06118(向量'a'b(c)3 0)-->(a b c);(permute-a060118(矢量‘a’b‘c’c)3 1 1)-->;(b a a c);%(permute—a060118(矢量‘a‘b’b‘c)3 2)-->(a c b b b(c矢量)3 2)-->(a c b b b(c)3 3 3)-->(b(c)3 3)-->(b c c(c)3 3)-->(b c c)3 3 3);(b c a c)的(c)3 3 3)-->(b c a c c(c)3 3 3 3);(b c c)3 3 3 3 3 3)-->(b c)3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3#(c b a) %(permute-a060118(矢量a'b'c)3 5)-->#(c a b) %(另请参见:http://www.iki.fi/~karturi/matikka/Nekomorphisms/gatogenp.scm %对于每个非递归的加泰罗尼亚自同构,都存在唯一的最小子句表示,从所有 %中,该自同构的可能子句表示是“最小”子句序列,其中子句序列的总顺序 %由以下规则定义: % %A)所有子句序列都有一个相关的整数 %(请参阅a089839.c.txt中的宏子句seq_binexp),它的 %二进制扩展的运行长度决定了 %子句的数量及其大小。对于这个 %整数,值较小的两个子句序列的 %值也“小于” %。二进制扩展的最低有效 %结尾的运行长度与 %最重要子句的大小相对应,反之亦然。 % %例如,从103开始,其二进制扩展为1100111 %,我们得到大小为3、2和2的子句,从最重要的 %到最小重要的子句。 %类似地,从124,它的二进制扩展是11111 00, %我们得到两个子句,更重要的是,有2个内部节点的 %二叉树,而不太有效的子句,有5个内部节点的二叉树。 % %B)一个子句序列中 %的“最有区别的子句”相对于大小相同的另一个子句序列来说,是最大的有效子句,它与另一个子句序列中的相应子句不同。 %这里最重要的子句是指先执行 %的子句,最不重要的子句是 %最后应用的子句,在默认标识子句之前, %如果前面没有,则为“更重要”子句 %匹配。如果没有这样的区分子句,那么两个子句序列是相同的。 % %C)如果上述条件不能确定两个子句序列的关系 %(按此总顺序) %,则“较小”子句序列就是在最具区别性的子句 %中使用的 %源二叉树所在的序列更接近序列A014486的开头。 %(即,由未标记的有根平面二叉树的 %建立的顺序确定的字典序较少);% %D)如果上述条件不能确定两个子句序列在这个总顺序 %中的关系,则“less”子句序列是最具区别性子句 %的目标二叉树按字典顺序为“less”,由序列A014486确定。 % %E)如果上述条件不能确定两个子句序列在这个总顺序中的关系,那么“较小”子句序列就是其中最具区别性的子句的目的二叉树中使用的置换的最小的一个按序列a06118. %(注意这与已建立的“词典式”排列顺序不同,如A030299和A055089中使用的排列顺序)。 % % %这里的序言定义试图给出最小子句表示,以字母“b”表示的非最小表示形式的百分比(例如GMA08964B表示自同构*A089864.);%%%%%%%%%%%%%%%开(关)关。%%%%%%%%%。%%只有default子句,即修复所有问题的标识。一个非递归自同构,其中包含一个非默认子句%%%%%%1打开(关闭)cons:%%%%%%%。b) -->(b。a) % %a B-->B a %\/\/ %X0 Y0 gma069770(X0,Y0):— 缺点(a,B,X0), %-- !。gma069770(X,X)。%%default子句fix S-exprs(此处仅为[])以上子句无法处理。具有一个非default子句%%%%%%%%%%%%%%%。(b。c) )-->(b。(a。c) ) % %B c A c %\/\/ %A X1-->B Y1 %\/\/ %X0 Y0 gma072796(X0,Y0):— 缺点(A,X1,X0), %-- 缺点(A,c,Y1), !。gma072796(X,X)。%%固定[]和S-Expers,其长度为1。;(10;;;;%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%铺设铺设从始至终(GMAM089850[]={从天由ESEQ\U开始(3,1)开始(3,1),{2,0,0,2,0,0,2}}%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%答。(b。c) )-->(a。(c。b) ) % %b C C b %\/\/ %A X1-->A Y1 %\/\/ %X0 Y0 %b C C C b %- %A X1-- 缺点(A,Y1,Y0), !。(二)GM089850(X,X X)。 在 方面 的 % %B C C A %\/\/ %A X1-->B Y1 %\/\/ %X0 Y0 gmA089851(X0,Y0):— 缺点(A,X1,X0), 缺点(B,C,X1),%-- 缺点(C,A,Y1), 缺点(B,Y1,Y0), !。(二)GM089851(X,X X)。 在 在 方面的GMA2089852[]={子句SEEQ U开始(3、1),{2、0、0、0、4}};/*A089840%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % %B C B A %\/\/ %A X1-->C Y1 %\/\/ %X0 Y0 gmA089852(X0,Y0):— 缺点(A,X1,X0), 缺点(B,C,X1),%-- 缺点(B,A,Y1), 缺点(C,Y1,Y0), !。(二)GM089852(X,X X)。(十;二;(一);(十);(十);(十);(十);(十);(十);(十);(三)%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%的;(三、三、三、二、零、零、五五五}}一〈三、三、三、二、二、零、五、五〈五〈五〈五〈五〈 %(a。(b。c) )-->(c。(a。b) ) % %b C A b %\/\/ %A X1-->C Y1 %\/\/ %X0 Y0 %b C A b %\/\/ %A X1-->C Y1 !。(一)GMA2089853(X,X X)。(十;(一)两个;(一)两个;(一)两个;(一)两个;(一)%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%的%%%从严GMA2089854[]一条GMA0089854[]={子句SEESQU开始(3,1)开始(3,1),{2,1,1,1,1}}};/*A089840%%%%%%%%%%%10%((a。b) 一。c) -->(b。a) 一。c) % % %A B B A %\/\/ %X1 c-->Y1 c %\/\/ %X0 Y0 gma089854(X0,Y0):— 缺点(X1,c,X0), %-- 缺点(B,A,Y1), !。(一)GMA2081954(X,X X)。 两个方面 两个方面 两个方面 两个方面 两个;(一个)两个;(一个;(一个)方面GM07272797[]={子句SEEQ U开始(3,1),{2、2、1、1、2}}};/*A089840%%8%%%8]%%面额%%面额%%面额%%面额%%面额%%面额面额%%面额%%%%%%% %((a。b) 一。c) -->(a。c) 一。b) % %A b A C %\/\/ %X1 C-->Y1 b %\/\/ %X0 Y0 GMA072977(X0,Y0):— 缺点(X1,C,X0), 缺点(A,b,Y1), %-- 缺点(Y1,b,Y0), !。(二)GM072797(X,X X)。(十、X)两条;(一)两条;(一)两条;(一)两条;(一)两条;(一)%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%的%%%从严GMA2089855[]条GMA0089855[]={子句SESEEQ〈U开始(3,1)开始(3,1),{2,1,1,3}}};/*A089840%A089840 89840%%%10%((a。b) 一。c) -->(b。c) 一。a) % %a B B C %\/\/ %X1 C-->Y1 a %\/\/ %X0 Y0 gma089855(X0,Y0):— 缺点(X1,C,X0), 缺点(a,B,X1), %-- %!。(一)GMA2089855(X,X X)。(十;二;(一)两;(一)两;(一)两;(一)两;(一)两;(一)%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%的%%%从严GMA2089856[]条GMA0089856[]={子句SESEEQ的Q启U开始(3,1)开始(3,1),{2,2,1,1,4}}};/*A089840*A089840 8910%((a。b) 一。c) -->(c。b) 一。a) % %a B C B %\/\/ %X1 C-->Y1 a %\/\/ %X0 Y0 gma089856(X0,Y0):— 缺点(a,B,X1), %-- 缺点(C,B,Y1), 缺点(Y1,a,Y0), !。(一)GMA2088556(X,X X)。 两个;(一)两个;(一)两个;(一)两个;(一)%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%的%%%从严GMA2089857[]一条GMA0089857[]={子句ESEQ启U开始(3,1)开始(3,1),{2,1,1,5}}};/*A089840%A089840 89840 8984010%((a。b) 一。c) -->(c。a) 一。b) % %A b C A %\/\/ %X1 C-->Y1 b %\/\/ %X0 Y0 gma089857(X0,Y0):— 缺点(A,b,X1), %-- 缺点(C,A,Y1), 缺点(Y1,b,Y0), !。gma089857(X,X); %。%%%%%%%的%%%%%的%%%%%的%%%%%的%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%的人都有一条GM07679[]={从天开始(4,2),{2、0、0、1、1、0、0、1、0、0、0、0、0、1}{1、0、0、1}%%%%%%%%%%%%%A089840%%%%%%%%%%%%%;%(a。(b。c) )-->(a。b) 一。c) %(a。()) --> (() . a) % %B C a B %\/\/ %a X1-->Y1 C a[]-->[]a %\/\/\/ %X0 Y0 X0 Y0 GMA04679(X0,Y0):— 缺点(a,X1,X0), %-- 缺点(a,B,Y1), 缺点(Y1,C,Y0), !。gma074679(X0,Y0):— cons(A,B,X0),%B=[]根据上述条款, %-- cons(B,A,Y0), !。(二)GM074679(X,X)X。(十,X)三;(三);(十);(十);(十);(十);(十);(三)%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%的%GMAMAM089858%的GMA0089858[]={子句ESESEQ〈U开始(4,2)开始(4,2),{2,0,0,1,1,1,1,1}%%%%%%/*A089840[13]*/ %(a。(b。c) )-->(b。a) 一。c) %(a。()) --> (() . a) % %B C B a %\/\/ %a X1-->Y1 C a[]-->[]a %\/\/\/ %X0 Y0 X0 Y0 GMA089588(X0,Y0):— 缺点(a,X1,X0), 缺点(B,a,Y1), 缺点(Y1,C,Y0), !。GMA089588(X0,Y0):— cons(A,B,X0),%B=[]根据上述条款, %-- cons(B,A,Y0), !。(二)GM089858(X,X X)。(十、X、X)两条;(一)两条;(一)两条;(一)两条;(一)%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%的%%%从严GMA3073269[%的GMA0073269[]={子句SESEEQ的开始(4,2)开始(4,2),{2,0,1,2,2,2,2,{1,0,0,0,0,0,0,/*A089840[14]*/ %(a。(b。c) )-->(a。c) 一。b) %(a。()) --> (() . a) 10%X0,y10x0;(10%/a,yx0),(10%/a,10%/C),(10%/a,10%/C)!。gma073269(X0,Y0):— 缺点(A,B,X0), %-- 缺点(B,A,Y0), !。%1%百%的%1%的百%百%百%的百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%百%[百分之八十四/百分之十五。(b。c) )-->(c。b) 一。a) %(a。()) --> (() . a) % %B C C B %\/\/ %a X1-->Y1 a a[]-->[]a %\/\/\/ %X0 Y0 X0 Y0 gma089859(X0,Y0):— 缺点(a,X1,X0), %-- 缺点(C,B,Y1), !。gma089859(X0,Y0):— 缺点(A,B,X0), %-- 缺点(B,A,Y0), !。(二)GMA2089859(X,X)X。(二);(三);(十);(十);(十);(十);(十);(十);(三)%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%的%GMAM089860;(一条GMA0089860)条GMA0089860[]={从天天由ESEQ的开始(4,2)开始(4,2),{2,0,0,0,0,0,/*A089840[16]*/ %(a。(b。c) )-->(c。a) 一。b) %(a。()) --> (() . a) % %B C C a %\/\/ %a X1-->Y1 B a[]-->[]a %\/\/\/\/ %X0 Y0 X0 Y0 gma089860(X0,Y0):— 缺点(a,X1,X0), %-- 缺点(C,a,Y1), 缺点(Y1,B,Y0), !。gma089860(X0,Y0):— 缺点(A,B,X0), %-- 缺点(B,A,Y0), !。(一)GM089860(X,X X)。 两个;(一)两个;(一)两个;(一)两个;(一)两个;(一)%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%的;(;(一条)GM0746680条的GM0746680[]={从天由ESEQ(4,2)开始(4,2),{2,1,0,0,0,0{1,0%1,0,0,0,0/*A089840[17]*/ %((a。b) 一。c) -->(a。(b。c) ) %(())。b) -->(b。()) % %A B B C %\/\/ %X1 C-->A Y1[]B-->B[] %\/\/\/ %X0 Y0 X0 Y0 gma074680(X0,Y0):— 缺点(X1,C,X0), %-- 缺点(B,C,Y1), !。gma074680(X0,Y0):— cons(A,B,X0),%A=[]根据上述条款, %-- cons(B,A,Y0), !。(一)GM074680(X,X X)。(十、X)两条;(一)两条;(一)两条;(一)两条;(一)两条;(一)%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%的%%%从严GMAM089861[%的GMA0089861[]={从天由ESEQ的开始(4,2)开始(4,2),{2,1,0,0,1,1{1,1,0,0,0,0,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 Y0 gma089861(X0,Y0):— 缺点(X1,C,X0), %-- 缺点(A,C,Y1), !。gma089861(X0,Y0):— 缺点(A,B,X0), %-- 缺点(B,A,Y0), !。(一)GM089861(X,X X)。(十;(一)两;(一)两;(一)两;(一)两;(一)两;(一)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%的;(;(一条)GMA0073270%%的GMA0073270[]={子句ESEEQ(U开始(4,2)开始(4,2),{2,1,1,0,0,2,2,2,2,2,2,1/*A089840[19]*/ %((a。b) 一。c) -->(a。(c。b) ) %(())。b) -->(b。()) % %A B C B %\/\/ %X1 C-->A Y1[]B-->B[];%\/\/\/\/ %X0 Y0 X0 Y0 gma073270(X0,Y0):— 缺点(X1,C,X0), %-- 缺点(C,B,Y1), !。gma073270(X0,Y0):— 缺点(A,B,X0), %-- 缺点(B,A,Y0), !。(二)GM073270(X,X,X)。 两个;(一)两个;(一)两个;(一)两个;(一)%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%的%从严的GMA0089862[]条GMA2089862[]={子句ESEEQ的开始(4,2)开始(4,2),{2,1,1,0,0,0,0,1{1,0%1,0,/*A089840[20]*/ %((a。b) 一。c) -->(b。(c。a) ) %(())。b) -->(b。()) % %A B C A %\/\/ %X1 C-->B Y1[]B-->B[];%\/\/\/\/ %X0 Y0 X0 Y0 gma089862(X0,Y0):— 缺点(X1,C,X0), %-- 缺点(C,A,Y1), !。gma089862(X0,Y0):— 缺点(A,B,X0), %-- 缺点(B,A,Y0), !。(二)GMA2089862(X,X X X)。(十、X、X)两条;(一)两条;(一)两条;(一)两条;(二)%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%的%%%从严的GMA2089863[%GMA0089863[]={子句SEESEQ的开始(4,2)开始(4,2),{2,1,0,0,4,4,{1,0,0,0,0,0,/*A089840[21]*/ %((a。b) 一。c) -->(c。(b。a) ) %(())。b) -->(b。()) % %A B B A %\/\/ %X1 C-->C Y1[]B-->B[];%\/\/\/\/ %X0 Y0 X0 Y0 gma089863(X0,Y0):— 缺点(X1,C,X0), %-- 缺点(B,A,Y1), !。gma089863(X0,Y0):— 缺点(A,B,X0), %-- 缺点(B,A,Y0), !。(十)GM089863(X,X)X。(二)关于(X,X)的;(三)两(一)年来;(三)两人;(三)%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%关于;%注意的是{CLAUSESEQ{CLAUSESEQ的U BeBegin(4,2),{2,0,0,1,3,3,{1,0,0,0,1}{1,0,0,0,0,0,0,1此处不使用}; %,因为它将导致gma069770: % %(a)的副本。(b。c) )-->(b。c) 一。a) %(a。()) --> (() . a) % %B C B C %\/\/ %a X1-->Y1 a a[]-->[]a %\/\/\/\/ %X0 Y0 X0 Y0 %,{clauseq_begin(4,2),{2,1,0,5,},{1,0,0,1};%;%((a)。b) 一。c) -->(c。(a。b) ) %(())。b) -->(b。10b/;%A\/;%B\;%A/;%B\;%A/;%B\;%A/(10b);%A/(10b);%A/(10b);%A/(10b);%A/(10b);%B(gma069770); %%%%%%%%。%%%%%%的%%%%%的%%%%的%%%%%的%%%%%的%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%的人都能起到一个。(一方面)GMA1129611[]={由三、二、三、三、三、四、四、十、十、三、三、四、四、十、一一一一四、十、一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一一*/ %(a。(b。c) 一。d) )-->(c。b) 一。d) 一。a) %(a。b) -->(b。a) [或()或。十) (一)万人一X1——Y1 A A A A A A B B——B A A A B B B B B B B C B B B B C C B B B B B B B B B B B B B B B B A A A B B B B B B B B B B A A B B B B B B B B B B B B A A A A B B B A A A A A A B B B B A A A A B B A A A(B、C、X 2),(A、X 1、X0)的优势(A、X 1、X0),;cons(X2,D,X1), cons(B,C,C,X2), ;%—(C,B,B,B,B,B),(10),(10),(10)与B,B,B,在,Y2), 缺点(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) [隐含的()或(()。十) ] %此对合会影响以下转换: %A B B A %\/\/ %X2 C Y2 C %\/\/ %X1 D-->D Y1 A B-->B A %\/\/\/ %X0 Y0 X0 Y0 % gma129612(X0,Y0):— 缺点(X1,D,X0), 缺点(X2,C,X1), 缺点(A,B,X2), %-- 缺点(B,A,Y2), 缺点(D,Y1,Y0), !。gma129612(X0,Y0):— 缺点(A,B,X0), %-- 缺点(B,A,Y0), !。%%子句gmA123503[]={CLAUSESEQ_begin(12,2),{2,0,0,1,},{2,1,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 Y0 gma123503(X0,Y0):— 缺点(A,X1,X0), %-- 缺点(A,c,Y1), 缺点(B,Y1,Y0), !。gma123503(X0,Y0):— 缺点(X1,C,X0), 缺点(A,B,X1), %-- 缺点(B,A,Y1), !。%%子句gmA123499[]={clauseq_begin(12,2),{2,0,1,0,},{2,1,0,4};/*A089840[258]*/ %(a。(b。c) )-->(a。b) 一。c) %((a。b) 一。c) -->(c。(b。a) ) % %B C a B a B B a %\/\/\/\/ %a X1-->Y1 C X1[]-->[]Y1 %\/\/\/ %X0 Y0 X0 Y0 gma123499(X0,Y0):— 缺点(a,X1,X0), 缺点(B,C,X1), %-- 缺点(a,B,Y1), 缺点(Y1,C、 Y0), !。gma123499(X0,Y0):— 缺点(X1,C,X0), 缺点(A,B,X1), %-- 缺点(B,A,Y1), !。%%子句gmA123500[]={clauseq_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 Y0 gma123500(X0,Y0):— 缺点(X1,C,X0), %-- 缺点(B,C,Y1),,Y1,Y0), !。gma123500(X0,Y0):— 缺点(A,X1,X0), 缺点(B,C,X1), %-- 缺点(C,B,Y1), 缺点(Y1,A,Y0), !。gma123500(X,X); %。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%各例都有三个开头(关)式在第一个 %%%%%子句,两个打开(关闭)式第二个打开(关闭)conse组成第二个全例所有例子的例子都有3个“开(关)conse,第二个开(关)conse”组成第二个“开(关)conse,第二个开(关)conse由2个开(关)式”组成,第二个“(24,2),{3,0,0,},{2,0,0,1};/*A089840[3608]*/ %(a。(b。(c。d) ))-->(a。(b。(c。d) )) %(a。(b。c) )-->(b。(a。c) )[c implied()] % %c D c D %\/\/ %B X2 B Y2 B c A c %\/\/\/ %A X1-->A Y1 A X1-->B Y1(c是[]) %\/\/\/ %X0 Y0 X0 Y0 gma129607(X0,Y0):— 缺点(A,X1,X0), 缺点(B,X2,X1), 缺点(C,D,X2), %-- 缺点(C,D,Y2), 缺点(A,Y2,Y1), !。上面的子句 C=[]。 gma129607(X0,Y0):— 缺点(A,X1,X0), %-- 缺点(A,C,Y1), !。gma129607(X,X)。%%修复其余部分,即形式(a)的S-exprs。第四和第四条(第四、第二)和第三条(第三、第三、第三、第三、第三、第三、第二、第二、第二、第二、第二、第二、第三、第三、第三%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%。%%%%%第三、第三、第三、第三、第三、第三、第三、第三、第三、第二、第二、第二、第三、第二、第二、第二、第二、第三、第三方;%(a。(b。(c。d) ))-->(b。(c。(a。d) )) %(a。(b。c) )-->(b。(a。c) )[c implied()] % %c D A D %\/\/ %B X2 c Y2 B c A c %\/\/\/ %A X1-->B Y1 A X1-->B Y1(c是[]) %\/\/\/ %X0 Y0 X0 Y0 gma129605(X0,Y0):— 缺点(A,X1,X0), 缺点(B,X2,X1), 缺点(C,D,X2), %-- 缺点(A,D,Y2), 缺点(B,Y2,Y1), !。上面的子句 C=[]。 gma129605(X0,Y0):— 缺点(A,X1,X0), %-- 缺点(A,C,Y1), !。gma129605(X,X)。%%修复其余部分,即形式(a)的S-exprs。第四和第四条(第四、第二)和第三、第三、第0、第五、第三、第三、第三、第五、第五、第三、第三、第二、第二、第二、第三、第三、第三%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%。%%%%%第三、第三、第0、第五、五、第三、第三、第三、第五、第三、第三、第五、第三、第二、第二、第三、第三、第三、第三、第三、第三、第三方;%(a。(b。(c。d) ))-->(c。(a。(b。d) )) %(a。(b。c) )-->(b。(a。c) )[c implied()] % %c D B D %\/\/ %B X2 A Y2 B c A c %\/\/\/ %A X1-->c Y1 A X1-->B Y1(c是[]) %\/\/\/ %X0 Y0 X0 Y0 gma129606(X0,Y0):— 缺点(A,X1,X0), 缺点(B,X2,X1), 缺点(C,D,X2), %-- 缺点(B,D,Y2), 缺点(A,Y2,Y1), !。上面的子句 C=[]。 gma129606(X0,Y0):— 缺点(A,X1,X0), %-- 缺点(A,C,Y1), !。gma129606(X,X)。%%修复其余部分,即形式(a)的S-exprs。第二次和第四次(分别)和第四次(分别)和第四次(第四、第二次)和第四次(第三次)和第四次(第三次)的第三次和第四次(第三次)和第四次(第四次)的第四次(第四次)和第四次(第三次)和第四次(第三次,第三,第二,第0,第0次,第三,第三,第三,第二,第三,第三,第三,第二,第三,第三,第三,第三,第三,第三,第三,第三,第三,第三,第三,第三,第三,第三,第三,第三,第三,第三次,第三次,第三次,第三次,第86]*/ %((a。b) 一。(c。d) )-->(a。(b。(c。d) )) %(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 Y0 gma082353(X0,Y0):— cons(X1,X2,X0), cons(A,B,X1), cons(C,D,Y2),%%注意:Y2等于X2。 cons(B,Y2,Y1), cons(A,Y1,Y0), !。上面的子句!。gma082353(X,X)。%%修复其余部分,即形式(a)的S-exprs。第二)和第四次(第三次、第三、第三、第0、第二、第二、第二、第二、第二、第二、第二、第二、第五、第五次}%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%。%第三、第三、第三、第三、第三、第二、第二、第二、第二、第二、第三、第二、第二、第二、第三、第三、第三、第三、第三、第三、第三、第三次、第三次/ %(a。(b。(c。d) ))-->(a。b) 一。(c。d) ) %(a。(b。c) )-->(c。(a。b) )[c implied()] % %c D %\/ %b X2 A b c c D b c b b %\/\/\/\/ %A X1-->Y1 Y2 A X1-->c Y1 %\/\/\/ %X0 Y0 X0 Y0 gma082354(X0,Y0):— 缺点(A,X1,X0),cons(B,X2,X1), cons(C,D,X2), %-- cons(A,B,Y1), cons(C,D,Y2),%注意Y2等于X2。 cons(Y1,Y2,Y0), !。gma082354(X0,Y0):— 缺点(A,X1,X0), 缺点(B,C,X1), %-- 缺点(A,B,Y1), !。gma082354(X,X)。%%修复其余部分,即形式(a)的S-exprs。第四)和第四条(第四、第二、第三、第二、第四、第三、第三、第四、第二、第二、第二、第五、第五、第五、第五、第五、第三%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%。%%%%%第三、第二、四、四、第三、第四、第三、第四、第三、第三、四、第四、第三、第三、第三、第三、第三、第三、第二、第二、第三、第三、第;%((a。b) 一。(c。d) )-->(((a。b) 一。c) 一。d) %((a。b) 一。c) -->(c。a) 一。b) [c implied()] % %A b %\/ %A b c D Y2 c A b[]A %\/\/\/\/ %X1 X2-->Y1 D X1[]-->Y1 b %\/\/\/ %X0 Y0 X0 Y0 gma082351(X0,Y0):— 缺点(X1,X2,X0), 缺点(A,b,X1),cons(C,D,X2), %-- cons(A,B,Y2),%%注:Y2等于X1。 cons(Y2,C,Y1), cons(Y1,D,Y0), !。上面的子句 C=[]。 gma082351(X0,Y0): cons(X1,C,X0), %-- cons(C,A,Y1), !。gma082351(X,X)。%%修复其余部分,即表单(())的S-expr。b) 而另一方面,则是第二个方面,即:第三、第四、第二、第二、第二、第二、第二、第二、第二、第三、第三、第三、第三%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%。%%%%%%四、二二二二四四二二二二四四四四二二二四四四四二二二二四四四二二二二二二二二二二二二二二二二二二二二二二二二二二二二二二二二二二二二二二二二二二二二二二二二二10;%((a。b) 一。c) 一。d) -->(a。b) 一。(c。d) ) %((a。b) 一。c) -->(b。c) 一。a) [a implied()] % %a B %\/ %X2 C a B C D[]B B C %\/\/\/\/ %X1 D-->Y1 Y2 X1 C-->Y1[] %\/\/\/ %X0 Y0 X0 Y0 gma082352(X0,Y0):— 缺点(X1,D,X0), 缺点(X2,C,X1), 缺点(a,B,X2), %-- cons(A,B,Y1),%注意Y1等于X2。 cons(C,D,Y2), cons(Y1,Y2,Y0), !。X1,cons X1,cons X1,cons X1,cons X1,cons X1,cons X1,cons X1,cons X1,cons X1,cons X1,cons X1,cons X1,cons X1,cons c0,cons c0,cons X1,cons!。gma082352(X,X)。%%修复其余部分,即表单(())的S-expr。b) 和()在总共6个开始(结束)conse中的904个非递归自同构(non-recursive automorphism)中有4个使用了%%%%%%3个非默认子句的非递归自同构。%%%%%%的%%%%%的%%%%的%%%%%的%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%的面额GMA1129609[]={由三、三、三、一一一二二二二二二二二一一一一二二一一一一一二二二一一一一一二二一一一一一一一一一一一一一一一一一一一一五%二五%二五%二五%%*A089840[65167]*/ %(a。(b。c) 一。d) )-->(a。b) 一。(c。d) ) %(a。(b。c) )-->(a。c) 一。b) [b隐含()] %(a。b) -->(b。a) [b implied()] %b C %\/ %X2 D a b C C D b C a C %\/\/\/\/ %a X1-->Y1 Y2 a X1-->Y1 b a b-->b a a %\/\/\/\/\/ %X0 Y0 X0Y0 X0 Y0 % % gma129609(X0,Y0):— 缺点(A,X1,X0), 缺点(X2,D,X1), 缺点(A,B,Y1), 缺点(C,D,Y2), 缺点(Y1,Y2,Y0), !。!。gma129609(X0,Y0):— 缺点(A,B,X0), %-- 缺点(B,A,Y0), !。%%子句gmA129610[]={clauseq_begin(39,3),{3,2,1,0,},{2,1,0,2},{1,0,0,1};/*A089840[65352]*/ %((a。b) 一。(c。d) )-->(a。(b。c) 一。d) ) %((a。b) 一。c) -->(a。(c。b) )[c隐含()] %(a。b) -->(b。a) [a implied()] % %B C %\/ %a B C C D Y2 D a B C B %\/\/\/\/ %X1 X2-->a Y1 X1 C-->a Y1 a B B a %\/\/\/\/-->\/ %X0 Y0Yx0,cons X0,cons X0,cons X0,cons X0,cons X0,cons X0,cons X0,cons X0,cons X0,cons X0,cons X0,cons X0,cons X0,cons X0,cons X0,cons X0,cons X0,cons X0,cons c0,con!。gma129610(X0,Y0):— 缺点(X1,C,X0), 缺点(A,B,X1), %-- 缺点(C,B,Y1), !。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 implied()] % %C D %\/ %a b C D Y2 a b C[]b %\/\/\/\/ %X1 X2-->Y1 b[]X1-->Y1 C a[][]a %\/\/\/\/-->\/\/%X0 Y0 X0 Y0X0 Y0!。上面的子句!。!。gma123495(X,X)。%%将第(19)条(第10条)固定在第(10)条(第10条)上的第(10)条(第12条)。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%4、2、2、16{2、3、4、2、2、16{2、1、0%0%0%0%0%%%%%%%%%%A089840[65796]*/ %((a。b) 一。c) 一。d) (-->c。d) 一。(a。b) ) %((a。b) 一。c) -->(a。(b。c) )[隐含的()] %(a。b) -->(b。a) [a implied()] % %a B %\/ %X2 C C D a B[]B B C %\/\/\/\/ %X1 D-->Y1 Y2 X1 C-->[]Y1[]B B[] %\/\/\/\/-->\/ %X0 Y0 X0 Y0 X0Y0!。!。!。gma123496(X,X)。%%修复()。 ;%%%。%%%%%%的%%%%的%%%%的%%%%%的%%%%%的%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%的人都有一条;(一条)GM123492[]={3、3、1、4、4、9{3、3、4、4、4、23}}{面%3、4、1、23}}%%%%%%%%%%%%%%%%%%%%%*/ %(a。(b。c) 一。d) (-->)。c) 一。d) 一。a) %((a。b) 一。c) 一。d) -->(d。(a。b) 一。c) )[d隐含()或(()。十) ] %此对合会影响以下转换: %B C B C %\/\/ %X2 D Y2 D %\/\/ %A X1-->Y1 A %\/\/ %X0 Y0 % %A B A B %\/\/ %X2 C Y2 C %\/\/%X1 D-->D Y1 %\/\/ %X0 Y0 % %在方案中,可以定义为: %(define(*A123492!s) %(条件((空?s) s) %((和(配对?(cdr s))(配对?(cadr s))(*A069770!s) ) %((和(配对?(s车))(配对?(caar s))(*A069770!s) ) %) %s %) gma123492(X0,Y0):— 缺点(A,X1,X0), 缺点(X2,D,X1), %-- 缺点(B,C,Y2), 缺点(Y2,D,Y1), !。或X1,cons X1,cons X1,cons X1,cons X1,cons X1,cons X1,cons X1,cons X1,cons X1,cons X1,cons X1,cons X0,cons X0,cons X0,cons cS X1!。gma123492(X,X)。%%修复其余的。 %另一个版本,因为子句可以按任意顺序指定: % %CLAUSE 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) (-->)。c) 一。d) 一。a) [隐含的()或(()。十) ] %此对合会影响以下转换: %A B A B %\/\/ %X2 C Y2 C %\/\/ %X1 D-->D Y1 %\/\/ %X0 Y0 % %B C B C %\/\/ %X2 D Y2 D %\/\/%A X1-->Y1 A %\/\/ %X0 Y0 % %在方案中,可以定义为: %(define(*A123492v2!s) %(条件((空?s) s) %((和(配对?(s车))(配对?(caar s))(*A069770!s) ) %((和(配对?(cdr s))(配对?(cadr s))(*A069770!s) ) %) %s %) gma123492b(X0,Y0):— 缺点(X1,D,X0), 缺点(X2,C,X1), %-- 缺点(A,B,Y2), 缺点(Y2,C,Y1), !。%表示A=[]或A=[[]|…] gma123492b(X0,Y0):— 缺点(A,X1,X0), 缺点(X2,D,X1), %-- 缺点(B,C,Y2), 缺点(Y2,D,Y1), 缺点(Y1,A,Y0), !。gma123492b(X,X)。%%修复其余部分。 ;%%%。%%%%%%的%%%%%的%%%%的%%%%%的%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%A089840[1654023]*/ % %B C A D %\/\/ %X2 D Y2C B C C A C B C B %\/\/\/\/\/\/\/ %A X1-->B Y1 A X1-->Y1 B X1 C-->A Y1 %\/\/\/\/\/\/\/\/\/%X0 Y0 X0 Y0 %如果我们到第二个子句,那么B是隐含的(), %,如果我们到第三个子句,那么C是隐含的()。 gma073281(X0,Y0):— cons(A,X1,X0), cons(B,C,X2), %-- cons(A,D,Y2), cons(Y2,C,Y1), !。gma073281(X0,Y0):— 缺点(A,X1,X0), 缺点(B,C,X1), %-- 缺点(A,C,Y1), 缺点(Y1,B,Y0), !。gma073281(X0,Y0):— 缺点(X1,C,X0), 缺点(A,B,X1), %-- 缺点(C,B,Y1), !。gma073281(X,X)。%%将其余的固定下来。《龙与龙》第三版《龙与龙》的《龙与龙。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%的《方》;%在《第三方》的“方”的《方”;%的从条GMA2089864[]={子句SESEEQ开始(103、3),{3、2、2、7、7%之间的面额、0、0、0、0、0、0、0、0、0、0、0、0、0、0、0、0、0,2},{2,1,1,1}};/*A089840[1654694]*/ %((a。b) 一。(c。d) )-->(b。a) 一。(d。c) ) %(a。(b。c) )-->(a。(c。b) )[隐含的()] %((a。b) 一。c) -->(b。a) 一。c) [c implied()] % %此对合会影响以下转换: % %A B c c D B A D c B c c B B A B A %\/\/\/\/\/\/\/\/\/;%X1 X2--Y1 Y2 A X1-->A Y1 X1 c-->Y1 c %\/\/\/\/\/ %X0 Y0 X0 Y0 X0 Y0 % %,在方案中可以定义为: %(define(gma089864!s) %(条件((配对?s) %(如果(配对?(汽车s))(交换!(车辆s)) %(如果(配对?(cdr s))(交换!(cdr s))) %) %) %s %) %(交换位置)!已定义为: %(定义(交换!s) %(let((ex car(s车))) %(设车!s(cdr s)) %(设置cdr!s ex car) %s %) %)!。上面的子句 %表示A=[]。 gma089864(X0,Y0):— 缺点(A,X1,X0), %-- 缺点(C,B,Y1), 缺点(A,Y1,Y0), !。上面的子句 %表示C=[]。 gma089864(X0,Y0):— cons(X1,C,X0), %-- cons(B,A,Y1), cons(Y1,C,Y0), !。gma089864(X,X)。%%修复其余部分,即S-exprs()和(())。(四)以《中华人民共和国》为例,将《中华儿女》的第二个《第三条》的第三个版本;第三个版本的另一个版本,该版本说明最后两个条款最后两个条款的顺序不起作用,%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%的《第二个版本》另一个版本,说明最后两个条款最后两个从句的顺序无意义;另一个版本,说明最后两个条款最后两个从句的顺序无意义;第三个版本,即最后两个从句的顺序无意义;第三个版本说明最后两个条款最后两个条款最后两个条款最后两个条款的顺序无意义;第三个版本说明最后两个条款gmA089864b(gma{2,1,1,1},{2,0,0,2}; % %尝试:applyGatUptoN(gma089864196,X),applyGatUptoN(gmA089864b,196,Y) ,X==Y.!。上面的子句 %表示C=[]。 gma089864b(X0,Y0):— cons(X1,C,X0), %-- cons(B,A,Y1), cons(Y1,C,Y0), !。上面的子句 %表示A=[]。 gma089864b(X0,Y0):— 缺点(A,X1,X0), %-- 缺点(C,B,Y1), 缺点(A,Y1,Y0), !。gma089864b(X,X)。%%修复其余部分,即S-exprs()和(())。另一方面方面方面方面方面方面方面方面方面方面方面方面方面方面方面方面方面方面方面方面方面方面方面方面方面方面方面方面方面方面方面%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%。%。%。%。%。%。%。%。%。%。%第GMA1129604[]={克劳SESEQ的U开始(103,3)开始(103,3),{3,2,2,2,20,20,{2,2,2,20,20,2,1,4}{2,2,0,1,4面面面面面面面面面额2,2,2,2,1,面面面面;/*A089840[1654720]*/ %((a。b) 一。(c。d) )-->(d。c) 一。(b。a) ) %(a。(b。c) )-->(c。b) 一。a) [隐含的()] %((a。b) 一。c) -->(c。(b。a) )[c implied()] % %此对合会影响以下转换: % %a B c c D D c B a B B a %\/\/\/\/\/\/\/\/\/\/;%X1 X2-->Y1 Y2 a X1-->Y1 a X1 c-->c Y1 %\/\/\/\/\/\/ %X0 Y0 X0 Y0 X0 Y0 % %A129604=a06970 o A089864=A089864 o a06970 %。在方案中,可以定义为: %(define(*A129604!s) %(条件((配对?s) %(*A069770!(s车)) %(*A069770!(cdr s)) %(*A069770!s) %) %) %s %) %) %s %)!。上面的子句 %表示A=[]。 gma129604(X0,Y0):— cons(A,X1,X0), %-- cons(C,B,Y1), cons(Y1,A,Y0), !。%以上条款意味着C=[]。 gma129604(X0,Y0):— 缺点(X1,C,X0), %-- 缺点(B,A,Y1), 缺点(C,Y1,Y0), !。gma129604(X,X)。%%修复其余部分,即S-exprs()和(())。第四条)以第四条(第四条)为例;第三条(第三条、第三条、第三条、第六条、第三条、第六条、第三条、第六条、第三条、第三条、第三条、第三条、第六条、第三条、第六条、第三、第三、第六、第三、第三、第六、第三、第三、第六、第三、第三、第六、第三、第六、第三、第六、六、第三、第三、第六、六、第三、第三、六、六、第三、第三、六、六、六、第三、第三、六、六、第三、第三、六、六、第三、第三、第三、第三、第三、第三、/*A089840[1655089]*/ %((a。(b。c) )。d) -->(a。(b。d) 一。c) ) %((a。b) 一。c) -->(a。c) 一。b) %(a。(b。c) )-->(b。(a。c) ) % %B c B 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 gma123497(X0,D,X0), 缺点(A,X2,X1), - 缺点(B,D,Y2), 缺点(A,Y1,Y0), !。gma123497(X0,Y0):— 缺点(X1,C,X0), 缺点(A,B,X1), %-- 缺点(A,C,Y1), !。gma123497(X0,Y0):— 缺点(A,X1,X0), 缺点(B,C,X1), %-- 缺点(A,C,Y1), !。gma123497(X,X); %方案定义: %(define(*A123497!s) %(条件((空?s) 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[]={clauseq_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 b 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 gma123498(X0,Y0):— 缺点(A,X1,X0), %-- 缺点(B,D,Y2), 缺点(A,Y2,Y1), 缺点(Y1,C,Y0), !。gma123498(X0,Y0):— 缺点(A,X1,X0), 缺点(B,C,X1), %-- 缺点(A,C,Y1), !。X1,cons(10立方厘米),X1,10立方厘米)!。gma123498(X,X); %方案定义: %(define(*A123498!s) %(条件((空?s) s) %((和(配对?(cdr s))(配对?(cadr s)) %(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) (三)以自己的方式(99,3),{2,0,1,0,23,},{2,0,0,1,23,},{2,1,3,1,23,},{2,1,3,1,23,},{2,1,0,3},{2,1,1,0,3}{2,1,1,0,3}};/*A089840[1653002]*/;%非规范形式:无规范形式:除除除除除除除除除除除除除除除除除{克劳斯ESEQ(99,3)外,其余{2,0 0,1,0,0,{3,3,3,1,1,1,3,1,1,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) (10b中的%)替换为最后一个。b) 一。c) -->(c。(b。a) ) % %B C a B %\/\/ %B C a B a X2 Y2 C a[][]a %\/\/\/\/\/ %a X1-->Y1 C X1[]-->[]Y1 X1[]-->[]Y1 %\/\/\/\/\/\/ %X0 Y0 X0 Y0 X0 Y0 % %方案定义: %(define(*A123695!s) %(条件((空?s) s) %((配对?(cdr s))(*A074679!s) ) %((配对?(s车)(*A074679!(s车)(*A069770!s) ) %) %s %)!。%D隐含[]。 gma123695(X0,Y0):- 缺点(X1,D,X0), 缺点(A,C,X2), %-- 缺点(A,B,Y2), 缺点(Y2,C,Y1), !。%B和C隐含[]。 gma123695(X0,Y0):- 缺点(X1,C,X0), %-- 缺点(C,A,Y1), 缺点(B,Y1,Y0), !。%%在替代版本中,最后一个非默认子句为: %% %%gma123695(X0,Y0):- %%cons(X1,C,X0), %%-- %%cons(B,A,Y1), %%cons(C,Y1,Y0), %%cons(C,Y1,Y0), %%!。%%子句gmA123696[]={CLAUSESEQ_begin(99,3),{2,1,0,0,},{3,1,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[] %\/\/\/\/\/ %X1 C-->a Y1[]X1-->Y1[]X1-->Y1[] %\/\/\/\/\/\/ %X0 Y0 X0 Y0 X0 Y0 %方案定义: %(define(*A123696!s) %(条件((空?s) s) %((配对?(s车)(*A074680!s) ) %((配对?(cdr s))(*A074680!(cdr s))(*A069770!s) ) %) %s %) gma123696(X0,Y0):— 缺点(X1,C,X0), %-- 缺点(B,C,Y1), 缺点(A,Y1,Y0), !。gma123696(X0,Y0):— 缺点(A,X1,X0), 缺点(X2,D,X1), %-- 缺点(C,D,Y2), 缺点(B,Y2,Y1), 缺点(Y1,A,Y0), !。gma123696(X0,Y0):— 缺点(A,X1,X0), %-- 缺点(C,B,Y1), 缺点(Y1,A,Y0), !。gma123696(X,X); %%%%%%%%%%%%。%%%%%%的%%%%的%%%%的%%%%%的%%%%%的%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%的人都能在一个方面起到自己的123713[]方面{由两、二、一、一、三、三、三、二、一、一、三、三、三、五、五、十三、十三、一百五十二二一一五五五五一一一一一一一一一一五五五一一一一一一一一一一一一一一一一一一一一一一一一一一(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 A %\/\/ %X0 Y0 % %b C C D %\/\/ %X4 D Y4 E %\/\/ %X3 E Y3 F %\/\/ %X2 F Y2 b %\/\/ %[]X1[]Y1 %\/\/ %X0 Y0 % gma123713(X0,Y0):— 缺点(X1,C,X0), %-- 缺点(B,C,Y1), !。GM123713(X0,Y0)的 GM123713(X0,Y0);(A,X1,X0), cons(X3,E,X2), cons(X4,D,X3), cons(B,C,X4),;%— cons(C,D,Y4,Y4,E,Y3), “cons(Y3,F,Y2), “cons(Y3,F,Y2,Y2,B,Y1), “cons(A,Y11,Y0), cons(A,Y1,Y0), 在!。%CLAUSE 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) 一。e) ) % %A B C A %\/\/ %X1 C-->Y1 B %\/\/ %X0 Y0 % % %B C F B %\/\/ %X4 D Y4 C %\/\/ %X3 e Y3 D %\/-->\/ %X2 F Y2 e %\/\/ %[]X1[]Y1 %\/\/ %X0 Y0 % gma123714(X0,Y0):— 缺点(X1,C,X0), %-- 缺点(C,A,Y1), 缺点(Y1,B,Y0), !。GM123714(X0,Y0)的 GM123714(X0,Y0);(A,X1,X0), cons(X3,E,X2), cons(X4,D,X3), cons(B,C,X4), cons(A,B,Y4,Y4,Y3,Y3), CON(Y3,D,Y3,Y3,Y3,Y3,Y3,在!。(一)gma123714(X,X X)。(二一)在两人之间的一段时间内,两人在两段时间内的两个:(一)%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%的%%%%%%%的%%三(GMA1001477、X、X、Y:一方面(GMA1001477、X、Y)的方式(X、Y)一方面;另一方面;另一方面,一方面(GMA0069770,X,X,Y:Y:一方面,一方面,一方面,一方面,一方面,一;gma069770(X,Y); applygat(gma072796,X,Y):— gma072796(X,Y); applygat(gma089850,X,Y):— gma089850(X,Y); applygat(gma089851,X,Y); applygat(gma089852,X,Y) (十)以 阿普利吉(GM089853,X,Y,X,Y);(10)以(GM089853,X,Y,X,Y):(十)和(一)两(十,二)三(一)一(二)一(二)一(二)一(二)一(一)一(二)一(二)一(二)一(二)一(十)二(十)一(十)一(十)一(十)一(十)一(十)二(一)一(十)一(十)一(十)一(十)一(十)二(十)一(十)二(十)一(十)九)一(一)九)一(一)九)一(一)九)一(一)九)九(一)九)九)在(gma089856,X,Y):— gma089856(X,Y); applygat(gma089857,X,Y):— gma089857(X,Y); applygat(GMA04679,X,Y):— gma074679(X,Y),Y) (二)以 阿普利吉(GM089858,X,X,Y):—〈GM089858(X,Y(X,Y); applygat(GM073269,X,Y):—GM073269(X,Y);(GM089859,X,Y):—applygat(GM089858,58,X,X,Y):—10; GMA07480(X,Y); applygat(gma089861,X,Y):— gma089861(X,Y); applygat(gma073270,X,Y):— gma073270(X,Y); applygat(gma089862,X,Y) (二)除此之外(GM082354,X,Y:X,Y)。(十)除此之外(GM089863,X,Y:X,Y):—;另一方面,GM089863(X,Y:X,Y);(十)除此之外,另一方面(GM082354,X,Y:Y):—GM082354(X,Y)。 申请者在(GM082353,GM082353,X,Y):—GM082353(X,Y(X,Y)。 ApplyGAGAT(GM082351,X,Y,Y):— GM082351(X,Y(X,Y)。 _在(gma082352,X,Y):— gma082352(X,Y); applygat(gma073281,X,Y):— gma073281(X,Y); applygat(gma089864,X,Y):— gma089864(X,Y),Y) (二)以“应聘者身份(gma123492,X,X,Y)的方式开展(GM089864B,X,Y,Y):—“GM089864B(X,Y)的。(二)应聘者(GMA1123492,X,Y:—(10)GM123492(X,Y(X,Y)。(10;“APPLYGA(GM123492B,X,X,Y):— GM123492B(X,Y)的)。“应聘者(GMA1123495,X,Y):— “GM123495(X,Y)的方式—;”“applygat(GM123496,X,X,Y):—(GM123496,X,X,Y:(Y:- gma123496(X,Y); 应用程序(gma123497,X,Y):— gma123497(X,Y); 应用程序(gma123498,X,Y):— gma123498(X,Y) 以(GM123499,X,Y,Y):— 以GM123499(X,Y,X,Y)— 以GM123500(X,Y)方式。 以(GM123503,X,Y):—\10; GM1235033(X,Y,Y)。“applygat(GM123695,X,Y):— GM123695(X,Y(X,Y)。“applygat(GM123696,X,Y,Y):—(GM123696,X,X,Y):—gma123696(X,Y); 应用软件(gma123713,X,Y):— gma123713(X,Y); applygat(gma123714,X,Y):— gma123714(X,Y); applygat(gma129604,X,Y) (十)以“gma129604(X,Y)的方式开展工作(GM129605,X,Y:X,Y):—;GM129605(X,Y:X,Y)。 开展“applygat(GM129606,X,X,Y:——GM129606(X,Y)(X,Y)。 应用吉(GM129607,X,Y:X,Y):—GM129607(X,Y)。 应用加(GMA1129609,X,X,Y):— GM129609(X,Y(X,Y)。 “applygat(GM129609,GM129609(X,Y(X在(gma129610,X,Y):— gma129610(X,Y); applygat(gma129611,X,Y):—10; gma129611(X,Y); applygat(gma129612,X,Y):— gma129612(X,Y) 一方面,一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%。%一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面(gma069770,U,X); signatperm(gma072796,U,X):— applyGatUptoN(gma072796,U,X); signatperm(gma089850,U,X):— applyGatUptoN(gma089850,U,十) signatperm(GM089851,U,X):—“applyGatUptoN(GM089851,U,X,X)。 signatperm(GM089852,U,X):— applyGatUptoN(GM089852,U,U,X)。 signatperm(GM089853,U,U,X):—应用加普敦(GM089853,U,X)。 signatperm(GM089854,U,U,X):— 应用加特普渡顿(GM089854,U,X):— 应用加特普惠加顿(GMA0加顿(GM9854,U,X); signatperm(gma072797,U,X):— applyGatUptoN(gma072797,U,X); signatperm(gma089855,U,X),十) (10)以 signatperm(GM089855,U,X)。 signatperm(GM089856,U,X,U,X):—“applyGatUptoN(GM089856,U,X,U,X)。 signatperm(GM089857,U,U,X):—;applyGatUptoN(GM089857,U,U,X)。 signatperm(GM074679,U,U,X):—;ApplyGatupon(GM074679,U,U,X)。; 签名者(GM086556,U,U,U,X)。;(9858,U,X):— applyGatUptoN(gma089858,U,X); signatperm(gma073269,U,X):— applyGatUptoN(gma073269,U,X),十) 二、二○ 二人专一(GM089859,U,X):— 应用加特普顿(GM089859,U,X,U,X);(十)签署协议(GM089860,U,X,U,X):—十;二九;二九;二九;二九;二二;二二;二(GM074680,U,U,X);二九;九(GM074680,U,U,X);;九九(GM0746680,U,U,X);;九(GMA 089861,U,U,X):—十;二九;二(GM089861,U,U,X):—十9861,U,X); signatperm(gma073270,U,X):— applyGatUptoN(gma073270,U,X); signatperm(gma089862,U,十) (十)以 signatperm(GM089863,U,U,X);(十)signatperm(GM089863,U,X,U,X):—“applyGatUptoN(GM089863,U,U,X)。 signatperm(GMA2082354,U,U,X):—十;ApplyGatupon(GM082354,U,X)。 十signatperm(GM082353,U,U,X):— “applyGatUptoN(GM082353,U,U,X)。 “signatperm(GM082353,U,U,X)。 2351,U,X):— applyGatUptoN(gma082351,U,X); signatperm(gma082352,U,X):— applyGatUptoN(gma082352,U,X),十) 二、二○ 二人专一(gma073281,U,X):—〈申请加特普顿(GM073281,U,U,X));(十)签署协议(GM089864,U,X,U,X):—十〈应用加特普顿(GM089864,U,U,X);(十十; signatperm(GM089864B,U,U,X):—〈应用加平普敦(GM089864B,U,U,X)。 十;九 签署者(gma123492,U,U,X):—〈应用加普惠顿(GMA1123492,U,U,U,U,X):—gma123492,U,X); signatperm(gma123492b,U,X):— applyGatUptoN(gma123492b,U,X); signatperm(gma123495,U,X):—(gma123495,U,X)。 signatperm(GM123496,U,U,X):— applyGatUptoN(GM123496,U,U,X)。 signatperm(GM123497,U,U,X):— applyGatUptoN(GM123497,U,X)。 signatperm(GM123498,U,U,X):— ApplyGatupon(GM123498,U,U,X)。 ; signatperm(GM123499,U,U,U,X)。 签署一个(GM12349X):— applyGatUptoN(gma123499,U,X); signatperm(GMA1230500,U,X):— applyGatUptoN(gma123500,U,十) (10)关于“签署”协议(GMA1123695,U,X):—“适用于加特普顿(GM123503,U,U,X)。(十)签署协议(GMA1123695,U,X):—十“适用于加普敦(GMA1123695,U,U,X)。 signatperm(GMA1123696,U,X):—“ApplyGatupon(GM123696,U,U,X)。(10 ;“signatperm(GM123713,U,U,X):— 应用加特普惠特顿(GM123713,U,U,X):—”应用加特普惠特顿(GM123695,GMA1123695,U,U,U,U 713,U,X); signatperm(gma123714,U,X):— applyGatUptoN(gma123714,U,X); signatperm(gma129604,U,十) 另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另一方面,另609,U,X):— applyGatUptoN(gma129609,U,X); signatperm(gma129610,U,X):— applyGatUptoN(gma129610,U,X),十) (10)只有一段时间内(gma129611,U,U,X):—(另一方面是GM129611,U,U,X;另一方面则是签署另一方面(gma129612,U,X,U,X):一一另一方面方面(gma129612,U,U,X)的方式;另一方面则是由《协议》(gma129612,U,X,X)的方式来完成。(照片一方面是由由由由照片来的照片。照片由由由由照片来的。照片由由由一方面完成。照片由%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%,-1,W,W):— !。ApplyGatupAux(G,U,Zs,W):---(applyGatToN(U,G,Z), V是U-1, ApplyGatupNaux(G,V,[Z | Zs,W],W)的)。 10; 铺设铺设铺设铺设铺设铺设铺设铺设%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%此表使用Scheme函数编制(prepare prolog table 196) %%源请参见: %%http://www.iki.fi/~kartturi/matikka/Nekomorphisms/gatorank.scm %%%We使用绿色切割,因为这是内射映射: n2s(0,[]):- !。n2s(1,[[]]):- !。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(40,[[[]],[[],[]]):- !。n2s(41,[[[]],[[[]]]):- !。n2s(42,[[[],[]],[],[]):- !。n2s(43,[[[],[]],[[]]):- !。n2s(44,[[[],[],[]],[]]):- !。n2s(45,[[[],[],[],[]]):- !。n2s(46,[[[],[],[[]]]):- !。n2s(47,[[[],[[]],[]]):- !。[],[]!。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(72,[[],[],[[],[]):- !。n2s(73,[[],[],[[],[],[]]):- !。[],[],[],[]!。n2s(75,[[],[],[[]],[]]):- !。n2s(76,[[],[],[[]],[]]):- !。n2s(77,[[],[],[[],[]]]):- !。n2s(78,[[],[],[[[[]]]]]):- !。n2s(79,[[],[]],[],[],[]):- !。[],[],[],[]!。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(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(143,[[[],[[],[[]]]]]):- !。n2s(144,[[[],[[]]],[]]):- !。n2s(145,[[[],[[]],[]]):- !。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,[[[[[]]],[]]]):- !。[],[10]!。n2s(194,[[[[[]],[]]]]]):- !。n2s(195,[[[[[],[]]]]]]):- !。n2s(196,[[[[[[[]]]]]]]):— !。