Special case for the single element in streams by Damtev · Pull Request #18 · UnitTestBot/klogic

Damtev · 2023-07-24T10:05:55Z

faster-minikanren unifications for mul3x3:

(1 1) (), 
(1 1) (1), 
(_.1 . _.2) (1 1), 
(1 1) (), 
(_.3 _.4 . _.5) (1 1), 
(1 1) (1), 
(1 1) (0 . _.6), 
(1 1) (1 . _.8), 
(1 1) (1 . _.10), 
(_.12 . _.13) (1), 
(1 1) (0 . _.9), 
(_.14 . _.15) (1), 
(1 1) (1 . _.11), 
(_.16 . _.17) (1), 
_.18 (), 
(_.19 . _.20) _.0, 
_.18 (_.21 . _.25), 
_.0 (_.22 . _.26), 
(1) (), 
(1 1) (), 
(1 1) (_.24 . _.27), 
(1) (1), 
_.25 (), 
(_.28 . _.29) (1), 
(1 1) (), 
(_.30 . _.31) (1 1), 
(1 1) (), 
(_.32 . _.33) _.26, 
(_.34 _.35 . _.36) (1), 
_.25 (_.37 . _.41), 
_.26 (_.38 . _.42), 
(1) (0 . _.44), 
(1) (), 
(1) (1 . _.46), 
(1) (), 
(1) (_.40 . _.43), 
(1) (1 . _.48), 
(1) (1), 
(_.50 . _.51) (), 
(_.52 . _.53) (), 
_.41 (), 
(_.54 . _.55) (1), 
(1 1) (), 
(_.56 . _.57) (1 1), 
(1 1) (_.21), 
(_.58 . _.59) _.42, 
(_.60 _.61 . _.62) (1), 
_.41 (_.63 . _.67), 
_.42 (_.64 . _.68), 
(1) (0 . _.70), 
(1) (), 
(1) (1 . _.72), 
() (), 
(1 1) (_.65 . _.69), 
(1) (1 . _.74), 
(1) (1), 
(_.76 . _.77) (), 
(_.78 . _.79) (), 
() (_.66 . _.69), 
_.67 (), 
(_.80 . _.81) (1), 
(1 1) (), 
(_.82 . _.83) (1 1), 
(1 1) (_.21 _.37), 
(_.84 . _.85) _.68, 
0 0, 
() (1 1), 
0 0, 
() (0 1 1), 
1 0, 
1 0, 
(0 1 1) (1), 
(0 1 1) (1), 
(1 1) (1), 
(_.86 _.87 . _.88) (0 1 1), 
_.67 (_.89 . _.93), 
_.68 (_.90 . _.94), 
(_.96 . _.100) (0 1 1), 
(_.97 . _.101) (1 1), 
(_.103 _.104 . _.105) (1), 
(_.106 . _.107) (1), 
(_.98 . _.102) (_.22 _.38 _.58 . _.59), 
(1) (), 
(_.108 . _.109) (_.38 _.58 . _.59), 
(1) (0 . _.110), 
0 0, 
0 0, 
0 1, 
1 0, 
0 0, 
1 0, 
1 0, 
0 0, 
0 0, 
1 1, 
1 _.22, 
0 _.99, 
(1) (), 
(1) (_.92 . _.95), 
1 0, 
0 0, 
1 0, 
1 0, 
0 0, 
() (1), 
0 0, 
() (1 1), 
1 0, 
1 0, 
(1 1) (1), 
(1 1) (1), 
(1) (1), 
(1) (1 . _.112), 
(1) (1), 
(_.114 _.115 . _.116) (1 1), 
(1) (1 . _.117), 
(_.119 _.120 . _.121) (1 1), 
_.93 (), 
(_.122 _.123 . _.124) (_.38 _.58 . _.59), 
(_.125 . _.126) (), 
(_.127 . _.128) (), 
(_.129 . _.130) (1), 
(1 1) (), 
(_.131 . _.135) (1 1), 
(_.132 . _.136) (1), 
0 0, 
() (1 1), 
0 0, 
() (1), 
1 0, 
1 0, 
(1) (1), 
(1 1) (1), 
(1) (1), 
(_.138 . _.139) (1 1), 
(1 1) (_.21 _.37 _.63), 
(_.140 . _.141) (), 
(1 1) (1), 
(_.142 . _.143) _.94, 
(_.144 . _.148) (1), 
(_.145 . _.149) (1 1), 
(_.151 _.152 . _.153) (1), 
(_.154 _.155 . _.156) (1), 
(_.157 . _.158) (1), 
(_.146 . _.150) (_.38 _.58 . _.59), 
_.93 (_.159 . _.163), 
_.94 (_.160 . _.164), 
(_.166 . _.167) (_.58 . _.59), 
(1) (0 . _.168), 
0 0, 
0 1, 
1 0, 
0 0, 
1 1, 
0 1, 
1 0, 
0 0, 
0 1, 
1 0, 
0 0, 
1 1, 
1 1, 
0 _.38, 
1 _.147, 
(1) (), 
1 0, 
0 1, 
0 1, 
1 1, 
() (1), 
1 1, 
() (), 
(1) (1 . _.170), 
() (1), 
() (1), 
(1) (1), 
() (), 
() (_.161 . _.165), 
() (_.162 . _.165), 
(1) (1), 
(_.172 . _.173) (1), 
(1) (1 . _.174), 
(_.176 . _.177) (1), 
(1 1) (), 
0 0, 
() (1), 
0 0, 
() (1), 
1 0, 
1 0, 
(1) (1), 
(1) (1), 
(_.178 . _.179) (), 
(_.180 . _.181) (), 
(_.182 . _.183) (1 1), 
(1 1) (_.21 _.37 _.63 _.89), 
(_.184 _.185 . _.186) (), 
(_.187 _.188 . _.189) (), 
(1) (1), 
(_.190 _.191 . _.192) (1), 
(_.193 _.194) (_.58 . _.59), 
(1) (0 . _.195), 
(1) (1), 
(1) (1 . _.197), 
0 0, 
0 1, 
1 0, 
0 0, 
1 1, 
0 1, 
1 0, 
0 0, 
0 1, 
1 0, 
0 0, 
1 1, 
1 1, 
0 _.58, 
1 _.194, 
  ((1 0 0 1))
unifications: 219

klogic unifications for mul3x3:

(1, 1) (), 
(1, 1) (1), 
(1, 1) (_.1, _.2), 
(1, 1) (), 
(1, 1) (_.3, _.4, _.5), 
(1, 1) (1), 
(1, 1) (0, _.6), 
(1, 1) (1, _.8), 
(1, 1) (1, _.10), 
(1) (_.12, _.13), 
(1, 1) (0, _.9), 
(1) (_.14, _.15), 
(1, 1) (1, _.11), 
(1) (_.16, _.17), 
_.18 (), 
_.0 (_.19, _.20), 
_.18 (_.21, _.25), 
_.0 (_.22, _.26), 
(1) (), 
(1, 1) (), 
(1, 1) (_.24, _.27), 
(1) (1), 
_.25 (), 
(1) (_.28, _.29), 
(1, 1) (), 
(1, 1) (_.30, _.31), 
(1, 1) (), 
_.26 (_.32, _.33), 
(1) (_.34, _.35, _.36), 
_.25 (_.37, _.41), 
_.26 (_.38, _.42), 
(1) (0, _.44), 
(1) (), 
(1) (1, _.46), 
(1) (), 
(1) (_.40, _.43), 
(1) (1, _.48), 
(1) (1), 
() (_.50, _.51), 
() (_.52, _.53), 
_.41 (), 
(1) (_.54, _.55), 
(1, 1) (), 
(1, 1) (_.56, _.57), 
(1, 1) (_.21), 
_.42 (_.58, _.59), 
(1) (_.60, _.61, _.62), 
_.41 (_.63, _.67), 
_.42 (_.64, _.68), 
(1) (0, _.70), 
(1) (), 
(1) (1, _.72), 
() (), 
(1, 1) (_.65, _.69), 
(1) (1, _.74), 
(1) (1), 
() (_.76, _.77), 
() (_.78, _.79), 
() (_.66, _.69), 
_.67 (), 
(1) (_.80, _.81), 
(1, 1) (), 
(1, 1) (_.82, _.83), 
(1, 1) (_.21, _.37), 
_.68 (_.84, _.85), 
_.67 (_.86, _.90), 
_.68 (_.87, _.91), 
0 0, 
(1, 1) (), 
0 0, 
(0, 1, 1) (), 
1 0, 
1 0, 
(0, 1, 1) (1), 
(0, 1, 1) (1), 
(1, 1) (1), 
(1) (), 
(1) (_.93, _.94, _.95), 
(1) (), 
(1) (_.89, _.92), 
(0, 1, 1) (_.96, _.97, _.98), 
(1) (1), 
(1) (0, _.99), 
_.90 (), 
(_.101, _.105) (0, 1, 1), 
(_.102, _.106) (1, 1), 
(1) (_.108, _.109), 
(1, 1) (), 
(1) (1, _.110), 
(1) (_.112, _.113), 
(_.103, _.107) (_.22, _.38, _.58, _.59), 
(1, 1) (_.114, _.115), 
(1, 1) (_.21, _.37, _.63), 
(1) (1, _.116), 
_.91 (_.118, _.119), 
(_.38, _.58, _.59) (_.120, _.121), 
(1) (_.122, _.123, _.124), 
() (_.125, _.126), 
() (_.127, _.128), 
0 0, 
0 0, 
0 1, 
1 0, 
0 0, 
1 0, 
1 0, 
0 0, 
0 0, 
1 1, 
1 _.22, 
0 _.104, 
_.90 (_.129, _.133), 
_.91 (_.130, _.134), 
1 0, 
0 0, 
1 0, 
1 0, 
0 0, 
(1) (), 
0 0, 
(1, 1) (), 
1 0, 
1 0, 
(1, 1) (1), 
(1, 1) (1), 
(1) (1), 
(1) (0, _.136), 
(1) (), 
(1, 1) (_.138, _.139, _.140), 
(1) (1, _.141), 
(1, 1) (_.143, _.144, _.145), 
() (), 
() (_.131, _.135), 
() (_.132, _.135), 
(1) (1), 
(_.120, _.58, _.59) (_.146, _.147, _.148), 
(1) (1, _.149), 
(_.151, _.155) (1, 1), 
(_.152, _.156) (1), 
(1) (_.158, _.159), 
(1, 1) (), 
() (_.160, _.161), 
() (_.162, _.163), 
(1, 1) (_.164, _.165), 
(1, 1) (_.21, _.37, _.63, _.86), 
() (_.166, _.167), 
0 0, 
(1, 1) (), 
0 0, 
(1) (), 
1 0, 
1 0, 
(1) (1), 
(1, 1) (1), 
(1) (1), 
(1) (_.168, _.169, _.170), 
(1, 1) (1), 
(1) (0, _.171), 
(_.173, _.177) (1), 
(_.174, _.178) (1, 1), 
(1) (1, _.180), 
(1) (_.182, _.183, _.184), 
(1) (_.185, _.186), 
(_.175, _.179) (_.146, _.147, _.148), 
(1) (1, _.187), 
(_.147, _.148) (_.189, _.190), 
() (_.191, _.192), 
() (_.193, _.194), 
0 0, 
0 1, 
1 0, 
0 0, 
1 1, 
0 1, 
1 0, 
0 0, 
0 1, 
1 0, 
0 0, 
1 1, 
1 1, 
0 _.146, 
1 _.176, 
1 0, 
0 1, 
0 1, 
1 1, 
(1) (), 
1 1, 
() (), 
() (1), 
() (1), 
(1) (1), 
(1) (_.195, _.196), 
() (_.197, _.198, _.199), 
() (_.200, _.201, _.202), 
0 0, 
(1) (), 
0 0, 
(1) (), 
1 0, 
1 0, 
(1) (1), 
(1) (1), 
(1) (1), 
(_.203, _.204) (_.189, _.190), 
(1) (1), 
0 0, 
0 1, 
1 0, 
0 0, 
1 1, 
0 1, 
1 0, 
0 0, 
0 1, 
1 0, 
0 0, 
1 1, 
1 1, 
0 _.189, 
1 _.204, 
(1, 0, 0, 1)
Unifications: 222

faster-minikanren unifications for mul5x5:

(1 0 1) (), 
(1 0 1) (1), 
(_.1 . _.2) (1 0 1), 
(1 0 1) (), 
(_.3 _.4 . _.5) (1 0 1), 
(1 0 1) (1), 
(1 0 1) (0 . _.6), 
(1 0 1) (1 . _.8), 
(1 0 1) (1 . _.10), 
(_.12 . _.13) (0 1), 
(1 0 1) (0 . _.9), 
(_.14 . _.15) (0 1), 
(1 0 1) (1 . _.11), 
(_.16 . _.17) (0 1), 
_.18 (), 
(_.19 . _.20) _.0, 
_.18 (_.21 . _.25), 
_.0 (_.22 . _.26), 
(0 1) (), 
(1 0 1) (), 
(1 0 1) (_.24 . _.27), 
(0 1) (1), 
_.25 (), 
(_.28 . _.29) (0 1), 
(1 0 1) (), 
(_.30 _.31 . _.32) (0 1), 
(1 0 1) (1), 
(_.33 . _.34) _.26, 
(0 1) (0 . _.35), 
_.25 (_.37 . _.41), 
_.26 (_.38 . _.42), 
(0 1) (), 
(_.44 . _.45) (1), 
() (0 . _.36), 
(0 1) (1 . _.46), 
(0 1) (1 . _.48), 
(0 1) (), 
(0 1) (_.40 . _.43), 
(0 1) (1), 
_.41 (), 
(_.50 . _.51) (0 1), 
(1 0 1) (), 
(_.52 _.53 . _.54) (0 1), 
(1 0 1) (1), 
(_.55 . _.56) _.42, 
(0 1) (0 . _.57), 
_.41 (_.59 . _.63), 
_.42 (_.60 . _.64), 
(0 1) (), 
(_.66 . _.67) (1), 
(_.21) (0 . _.58), 
(1) (), 
(1) (_.62 . _.65), 
(0 1) (1 . _.68), 
(0 1) (1 . _.70), 
(_.72 . _.73) (), 
(0 1) (1), 
_.63 (), 
(_.74 . _.75) (0 1), 
(1 0 1) (), 
(_.76 _.77 . _.78) (0 1), 
(1 0 1) (1), 
(_.79 . _.80) _.64, 
(0 1) (0 . _.81), 
_.63 (_.83 . _.87), 
_.64 (_.84 . _.88), 
(0 1) (), 
(_.90 . _.91) (1), 
(_.21 _.37) (0 . _.82), 
() (), 
(1 0 1) (_.85 . _.89), 
(0 1) (1 . _.92), 
(0 1) (1 . _.94), 
(_.96 . _.97) (_.37), 
(0 1) (1), 
(_.98 _.99 . _.100) (1 0 1), 
() (_.86 . _.89), 
_.87 (), 
(1) (), 
(_.101 . _.102) (0 1), 
(1 0 1) (), 
(1) (1), 
(_.103 . _.104) (1), 
(1 0 1) (), 
(_.105 _.106 . _.107) (0 1), 
(1 0 1) (1), 
(_.108 . _.109) (1 0 1), 
(1 0 1) (_.37), 
(_.110 . _.111) _.88, 
(_.112 _.113 . _.114) (1), 
(0 1) (0 . _.115), 
(1) (0 . _.117), 
_.87 (_.119 . _.123), 
_.88 (_.120 . _.124), 
(1) (1 . _.126), 
(1) (1 . _.128), 
(0 1) (), 
(_.130 . _.131) (), 
(_.132 . _.133) (), 
(_.134 . _.135) (1), 
(_.21 _.37 _.59) (0 . _.116), 
(0 1) (), 
(0 1) (_.122 . _.125), 
(0 1) (1 . _.136), 
(0 1) (1 . _.138), 
(_.140 . _.141) (_.37 _.59), 
(0 1) (1), 
(_.142 _.143 . _.144) (1 0 1), 
_.123 (), 
(1) (), 
(_.145 . _.146) (0 1), 
(1 0 1) (), 
(1) (1), 
(_.147 . _.148) (1), 
(1 0 1) (), 
(_.149 _.150 . _.151) (0 1), 
(1 0 1) (1), 
(_.152 . _.153) (1 0 1), 
(1 0 1) (_.37 _.59), 
(_.154 . _.155) _.124, 
(_.156 _.157 . _.158) (1), 
(0 1) (0 . _.159), 
(1) (0 . _.161), 
_.123 (_.163 . _.167), 
_.124 (_.164 . _.168), 
(1) (1 . _.170), 
(1) (1 . _.172), 
(0 1) (), 
(_.174 . _.175) (), 
(_.176 . _.177) (), 
(_.178 . _.179) (1), 
(_.21 _.37 _.59 _.83) (0 . _.160), 
(1) (), 
(1) (_.166 . _.169), 
(0 1) (1 . _.180), 
(0 1) (1 . _.182), 
(_.184 . _.185) (_.37 _.59 _.83), 
(0 1) (1), 
(_.186 _.187 . _.188) (1 0 1), 
_.167 (), 
(1) (), 
(_.189 . _.190) (0 1), 
(1 0 1) (), 
(1) (1), 
(_.191 . _.192) (1), 
(1 0 1) (), 
(_.193 _.194 . _.195) (0 1), 
(1 0 1) (1), 
(_.196 . _.197) (1 0 1), 
(1 0 1) (_.37 _.59 _.83), 
(_.198 . _.199) _.168, 
0 0, 
() (1 0 1), 
0 0, 
() (0 0 1 0 1), 
1 0, 
1 0, 
(0 0 1 0 1) (1), 
(0 0 1 0 1) (1), 
(1 0 1) (1), 
(_.200 _.201 . _.202) (0 0 1 0 1), 
(0 1) (0 . _.203), 
(_.205 . _.209) (0 0 1 0 1), 
(_.206 . _.210) (1 0 1), 
(_.212 _.213 . _.214) (1), 
(_.215 . _.216) (0 1), 
(_.207 . _.211) (_.22 _.38 _.60 _.84 _.110 . _.111), 
_.167 (_.217 . _.221), 
_.168 (_.218 . _.222), 
(_.224 . _.225) (_.38 _.60 _.84 _.110 . _.111), 
(1) (0 . _.226), 
0 0, 
0 0, 
0 1, 
1 0, 
0 0, 
1 0, 
1 0, 
0 0, 
0 0, 
1 1, 
1 _.22, 
0 _.208, 
1 0, 
0 0, 
1 0, 
1 0, 
0 0, 
() (0 1), 
0 0, 
() (0 1 0 1), 
1 0, 
1 0, 
(0 1 0 1) (1), 
(0 1 0 1) (1), 
(0 1) (1), 
(1) (1 . _.228), 
(_.230 _.231 . _.232) (0 1 0 1), 
(0 1) (), 
(_.233 . _.237) (0 1 0 1), 
(_.234 . _.238) (0 1), 
(1) (1 . _.240), 
(_.242 . _.243) (1), 
(_.235 . _.239) (_.38 _.60 _.84 _.110 . _.111), 
(_.244 . _.245) (1), 
(_.21 _.37 _.59 _.83 _.119) (0 . _.204), 
(_.246 . _.247) (_.60 _.84 _.110 . _.111), 
(_.248 . _.249) (), 
(_.250 . _.251) (), 
() (), 
() (_.219 . _.223), 
() (_.220 . _.223), 
(0 1) (1), 
0 0, 
0 0, 
0 0, 
0 _.38, 
0 _.236, 
(0 1) (1 . _.252), 
(0 1) (1 . _.254), 
(_.256 . _.257) (_.37 _.59 _.83 _.119), 
1 0, 
0 0, 
1 0, 
1 0, 
0 0, 
0 0, 
1 0, 
1 0, 
0 0, 
1 0, 
1 0, 
0 0, 
() (1), 
0 0, 
() (1 0 1), 
1 0, 
1 0, 
(1 0 1) (1), 
(1 0 1) (1), 
(1) (1), 
(_.258 . _.259) (0 1), 
(1 0 1) (), 
(_.260 _.261 . _.262) (1 0 1), 
(_.263 _.264 . _.265) (1 0 1), 
(_.266 _.267 . _.268) (0 1), 
(1 0 1) (1), 
(_.269 _.270 . _.271) (1 0 1), 
(1) (), 
(_.272 _.273 . _.274) (_.60 _.84 _.110 . _.111), 
(0 1) (0 . _.275), 
(_.277 . _.281) (1 0 1), 
(_.278 . _.282) (1), 
(1) (1), 
0 0, 
() (1 0 1), 
0 0, 
() (1), 
1 0, 
1 0, 
(1) (1), 
(1 0 1) (1), 
(1) (1), 
(_.284 . _.285) (), 
(1 0 1) (1), 
(_.286 . _.287) (1), 
(1 0 1) (), 
(_.288 . _.292) (1), 
(_.289 . _.293) (1 0 1), 
(_.295 . _.296) (1), 
(_.21 _.37 _.59 _.83 _.119 _.163) (0 . _.276), 
(_.297 _.298 . _.299) (1), 
(_.300 . _.301) (0 1), 
(_.290 . _.294) (_.60 _.84 _.110 . _.111), 
(_.302 . _.303) (1 0 1), 
(1 0 1) (_.37 _.59 _.83 _.119), 
(_.304 . _.305) (_.84 _.110 . _.111), 
(0 1) (1 . _.306), 
(0 1) (1 . _.308), 
(_.310 . _.311) (_.37 _.59 _.83 _.119 _.163), 
0 0, 
0 1, 
1 0, 
0 0, 
1 1, 
0 1, 
1 0, 
0 0, 
0 1, 
1 0, 
0 0, 
1 1, 
1 1, 
0 _.60, 
1 _.291, 
(_.312 _.313 . _.314) (1), 
1 0, 
0 1, 
0 1, 
1 1, 
() (0 1), 
1 1, 
() (), 
(_.315 _.316 . _.317) (1 0 1), 
() (1), 
() (1), 
(0 1) (1), 
(1) (0 . _.318), 
(_.320 . _.321) (0 1), 
(1) (), 
(_.322 _.323 . _.324) (), 
0 0, 
() (0 1), 
0 0, 
() (1), 
1 0, 
1 0, 
(1) (1), 
(0 1) (1), 
(1) (1), 
(1) (1 . _.325), 
(0 1) (1), 
(1) (1), 
(_.327 . _.331) (1), 
(_.328 . _.332) (0 1), 
(1) (1 . _.334), 
(_.336 _.337 . _.338) (1), 
(_.339 . _.340) (1), 
(_.329 . _.333) (_.84 _.110 . _.111), 
(_.341 . _.342) (1), 
(1 0 1) (), 
(_.343 . _.344) (_.110 . _.111), 
(_.345 . _.346) (), 
(_.347 . _.348) (), 
(_.349 . _.350) (1 0 1), 
(1 0 1) (_.37 _.59 _.83 _.119 _.163), 
0 0, 
0 1, 
1 0, 
0 0, 
1 1, 
0 0, 
1 _.84, 
0 _.330, 
(_.351 _.352 . _.353) (1), 
1 0, 
0 0, 
0 1, 
1 0, 
0 0, 
1 1, 
1 0, 
1 0, 
0 0, 
() (1), 
0 0, 
() (), 
(1) (_.110 . _.111), 
(1) (0 . _.354), 
1 0, 
1 0, 
() (1), 
() (1), 
(1) (1), 
(1) (1 . _.356), 
(_.358 . _.359) (1), 
  ((1 0 0 1 1))
unifications: 366

klogic unifications for mul5x5:

(1, 0, 1) (), 
(1, 0, 1) (1), 
(1, 0, 1) (_.1, _.2), 
(1, 0, 1) (), 
(1, 0, 1) (_.3, _.4, _.5), 
(1, 0, 1) (1), 
(1, 0, 1) (0, _.6), 
(1, 0, 1) (1, _.8), 
(1, 0, 1) (1, _.10), 
(0, 1) (_.12, _.13), 
(1, 0, 1) (0, _.9), 
(0, 1) (_.14, _.15), 
(1, 0, 1) (1, _.11), 
(0, 1) (_.16, _.17), 
_.18 (), 
_.0 (_.19, _.20), 
_.18 (_.21, _.25), 
_.0 (_.22, _.26), 
(0, 1) (), 
(1, 0, 1) (), 
(1, 0, 1) (_.24, _.27), 
(0, 1) (1), 
_.25 (), 
(0, 1) (_.28, _.29), 
(1, 0, 1) (), 
(0, 1) (_.30, _.31, _.32), 
(1, 0, 1) (1), 
_.26 (_.33, _.34), 
(0, 1) (0, _.35), 
_.25 (_.37, _.41), 
_.26 (_.38, _.42), 
(0, 1) (), 
(1) (_.44, _.45), 
() (0, _.36), 
(0, 1) (1, _.46), 
(0, 1) (1, _.48), 
(0, 1) (), 
(0, 1) (_.40, _.43), 
(0, 1) (1), 
_.41 (), 
(0, 1) (_.50, _.51), 
(1, 0, 1) (), 
(0, 1) (_.52, _.53, _.54), 
(1, 0, 1) (1), 
_.42 (_.55, _.56), 
(0, 1) (0, _.57), 
_.41 (_.59, _.63), 
_.42 (_.60, _.64), 
(0, 1) (), 
(1) (_.66, _.67), 
(_.21) (0, _.58), 
(1) (), 
(1) (_.62, _.65), 
(0, 1) (1, _.68), 
(0, 1) (1, _.70), 
() (_.72, _.73), 
(0, 1) (1), 
_.63 (), 
(0, 1) (_.74, _.75), 
(1, 0, 1) (), 
(0, 1) (_.76, _.77, _.78), 
(1, 0, 1) (1), 
_.64 (_.79, _.80), 
(0, 1) (0, _.81), 
_.63 (_.83, _.87), 
_.64 (_.84, _.88), 
(0, 1) (), 
(1) (_.90, _.91), 
(_.21, _.37) (0, _.82), 
() (), 
(1, 0, 1) (_.85, _.89), 
(0, 1) (1, _.92), 
(0, 1) (1, _.94), 
(_.37) (_.96, _.97), 
(0, 1) (1), 
(1, 0, 1) (_.98, _.99, _.100), 
() (_.86, _.89), 
_.87 (), 
(1) (), 
(0, 1) (_.101, _.102), 
(1, 0, 1) (), 
(1) (1), 
(1) (_.103, _.104), 
(1, 0, 1) (), 
(0, 1) (_.105, _.106, _.107), 
(1, 0, 1) (1), 
(1, 0, 1) (_.108, _.109), 
(1, 0, 1) (_.96), 
_.88 (_.110, _.111), 
(1) (_.112, _.113, _.114), 
(0, 1) (0, _.115), 
(1) (0, _.117), 
_.87 (_.119, _.123), 
_.88 (_.120, _.124), 
(1) (1, _.126), 
(1) (1, _.128), 
(0, 1) (), 
() (_.130, _.131), 
() (_.132, _.133), 
(1) (_.134, _.135), 
(_.21, _.37, _.59) (0, _.116), 
(0, 1) (), 
(0, 1) (_.122, _.125), 
(0, 1) (1, _.136), 
(0, 1) (1, _.138), 
(_.37, _.59) (_.140, _.141), 
(0, 1) (1), 
(1, 0, 1) (_.142, _.143, _.144), 
_.123 (), 
(1) (), 
(0, 1) (_.145, _.146), 
(1, 0, 1) (), 
(1) (1), 
(1) (_.147, _.148), 
(1, 0, 1) (), 
(0, 1) (_.149, _.150, _.151), 
(1, 0, 1) (1), 
(1, 0, 1) (_.152, _.153), 
(1, 0, 1) (_.140, _.59), 
_.124 (_.154, _.155), 
(1) (_.156, _.157, _.158), 
(0, 1) (0, _.159), 
(1) (0, _.161), 
_.123 (_.163, _.167), 
_.124 (_.164, _.168), 
(1) (1, _.170), 
(1) (1, _.172), 
(0, 1) (), 
() (_.174, _.175), 
() (_.176, _.177), 
(1) (_.178, _.179), 
(_.21, _.37, _.59, _.83) (0, _.160), 
(1) (), 
(1) (_.166, _.169), 
(0, 1) (1, _.180), 
(0, 1) (1, _.182), 
(_.37, _.59, _.83) (_.184, _.185), 
(0, 1) (1), 
(1, 0, 1) (_.186, _.187, _.188), 
_.167 (), 
(1) (), 
(0, 1) (_.189, _.190), 
(1, 0, 1) (), 
(1) (1), 
(1) (_.191, _.192), 
(1, 0, 1) (), 
(0, 1) (_.193, _.194, _.195), 
(1, 0, 1) (1), 
(1, 0, 1) (_.196, _.197), 
(1, 0, 1) (_.184, _.59, _.83), 
_.168 (_.198, _.199), 
(0, 1) (0, _.200), 
0 0, 
(1, 0, 1) (), 
0 0, 
(0, 0, 1, 0, 1) (), 
1 0, 
1 0, 
(0, 0, 1, 0, 1) (1), 
(0, 0, 1, 0, 1) (1), 
(1, 0, 1) (1), 
_.167 (_.202, _.206), 
_.168 (_.203, _.207), 
(1) (_.209, _.210, _.211), 
(0, 0, 1, 0, 1) (_.212, _.213, _.214), 
(0, 1) (), 
(1) (0, _.215), 
(1) (_.217, _.218), 
(_.21, _.37, _.59, _.83, _.119) (0, _.201), 
(_.219, _.223) (0, 0, 1, 0, 1), 
(_.220, _.224) (1, 0, 1), 
() (), 
() (_.204, _.208), 
() (_.205, _.208), 
(0, 1) (1), 
(1) (1, _.226), 
(0, 1) (1, _.228), 
(0, 1) (1, _.230), 
(_.37, _.59, _.83, _.119) (_.232, _.233), 
(0, 1) (_.234, _.235), 
(_.221, _.225) (_.22, _.38, _.60, _.84, _.110, _.111), 
(0, 1) (_.236, _.237), 
(1, 0, 1) (), 
(1) (1, _.238), 
(1, 0, 1) (_.240, _.241, _.242), 
(_.38, _.60, _.84, _.110, _.111) (_.243, _.244), 
(0, 1) (_.245, _.246, _.247), 
(1, 0, 1) (1), 
() (_.248, _.249), 
() (_.250, _.251), 
0 0, 
0 0, 
0 1, 
1 0, 
0 0, 
1 0, 
1 0, 
0 0, 
0 0, 
1 1, 
1 _.22, 
0 _.222, 
(1) (), 
1 0, 
0 0, 
1 0, 
1 0, 
0 0, 
(0, 1) (), 
0 0, 
(0, 1, 0, 1) (), 
1 0, 
1 0, 
(0, 1, 0, 1) (1), 
(0, 1, 0, 1) (1), 
(0, 1) (1), 
(0, 1) (0, _.252), 
(0, 1, 0, 1) (_.254, _.255, _.256), 
(1) (1), 
(_.257, _.261) (0, 1, 0, 1), 
(_.258, _.262) (0, 1), 
(1) (_.264, _.265), 
(_.259, _.263) (_.243, _.60, _.84, _.110, _.111), 
(1) (_.266, _.267), 
(1, 0, 1) (), 
(_.60, _.84, _.110, _.111) (_.268, _.269), 
(1) (_.270, _.271), 
(_.21, _.37, _.59, _.83, _.119, _.163) (0, _.253), 
0 0, 
0 0, 
0 0, 
0 _.243, 
0 _.260, 
(1, 0, 1) (_.272, _.273), 
(1, 0, 1) (_.232, _.59, _.83, _.119), 
1 0, 
0 0, 
1 0, 
1 0, 
0 0, 
0 0, 
1 0, 
1 0, 
0 0, 
1 0, 
1 0, 
0 0, 
(1) (), 
0 0, 
(1, 0, 1) (), 
1 0, 
1 0, 
(1, 0, 1) (1), 
(1, 0, 1) (1), 
(1) (1), 
(0, 1) (1, _.274), 
(0, 1) (1, _.276), 
(_.37, _.59, _.83, _.119, _.163) (_.278, _.279), 
(1) (_.280, _.281, _.282), 
(1, 0, 1) (_.283, _.284, _.285), 
(1, 0, 1) (_.286, _.287, _.288), 
(1, 0, 1) (_.289, _.290, _.291), 
(1) (0, _.292), 
(_.268, _.84, _.110, _.111) (_.294, _.295, _.296), 
(1) (), 
(_.297, _.301) (1, 0, 1), 
(_.298, _.302) (1), 
(1) (1, _.304), 
(1) (1), 
() (_.306, _.307), 
0 0, 
(1, 0, 1) (), 
0 0, 
(1) (), 
1 0, 
1 0, 
(1) (1), 
(1, 0, 1) (1), 
(1) (1), 
(1) (1, _.308), 
(1, 0, 1) (1), 
(1) (_.310, _.311), 
(1, 0, 1) (), 
(_.312, _.316) (1), 
(_.313, _.317) (1, 0, 1), 
() (_.319, _.320), 
() (_.321, _.322), 
(1, 0, 1) (_.323, _.324), 
(1, 0, 1) (_.278, _.59, _.83, _.119, _.163), 
(1) (_.325, _.326, _.327), 
(0, 1) (_.328, _.329), 
(_.314, _.318) (_.294, _.295, _.110, _.111), 
(1) (_.330, _.331, _.332), 
(_.295, _.110, _.111) (_.333, _.334), 
(1) (0, _.335), 
0 0, 
0 1, 
1 0, 
0 0, 
1 1, 
0 1, 
1 0, 
0 0, 
0 1, 
1 0, 
0 0, 
1 1, 
1 1, 
0 _.294, 
1 _.315, 
(1) (1, _.337), 
1 0, 
0 1, 
0 1, 
1 1, 
(0, 1) (), 
1 1, 
() (), 
(1) (1, _.339), 
() (1), 
() (1), 
(0, 1) (1), 
() (_.341, _.342), 
() (_.343, _.344), 
(0, 1) (_.345, _.346), 
() (_.347, _.348, _.349), 
0 0, 
(0, 1) (), 
0 0, 
(1) (), 
1 0, 
1 0, 
(1) (1), 
(0, 1) (1), 
(1) (1), 
(0, 1) (1), 
(_.350, _.354) (1), 
(_.351, _.355) (0, 1), 
(1) (_.357, _.358, _.359), 
(1) (_.360, _.361), 
(_.352, _.356) (_.333, _.110, _.111), 
(_.110, _.111) (_.362, _.363), 
0 0, 
0 1, 
1 0, 
0 0, 
1 1, 
0 0, 
1 _.333, 
0 _.353, 
1 0, 
0 0, 
0 1, 
1 0, 
0 0, 
1 1, 
1 0, 
1 0, 
0 0, 
(1) (), 
0 0, 
() (), 
(1) (_.362, _.363), 
1 0, 
1 0, 
() (1), 
() (1), 
(1) (1), 
(1) (_.364, _.365), 
(1, 0, 0, 1, 1)
Unifications: 369

Damtev added 4 commits July 24, 2023 12:51

Special case for the single element in streams

32af204

Fixed adderᴼ according to Scheme

7ad5f41

Removed forcing second argument

03460e5

Added tests with tracing unifications

ba2f20f

Damtev requested a review from Kakadu July 24, 2023 10:05

Simplified triples test

aa02b0e

Damtev enabled auto-merge (squash) July 27, 2023 10:39

Damtev merged commit cc110bf into main Jul 27, 2023

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Special case for the single element in streams#18

Special case for the single element in streams#18
Damtev merged 5 commits intomainfrom
damtev/stream_bind_single_element

Damtev commented Jul 24, 2023

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

Damtev commented Jul 24, 2023

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant