Commit 7a9d13240f4b0a5dd7f0fa5c54895cf9a2576e13
1 parent
e8354187
Exists in
master
simple example output
Showing
2 changed files
with
298 additions
and
0 deletions
Show diff stats
| ... | ... | @@ -0,0 +1,149 @@ |
| 1 | +_ > []. | |
| 2 | +_T > [[]|_T]. | |
| 3 | +[X|_T] > [preds(X)|_T]. | |
| 4 | +_T > [[]|_T]. | |
| 5 | +_T > [int|_T]. | |
| 6 | +_T > [[]|_T]. | |
| 7 | +_T > [int:lit(1)|_T]. | |
| 8 | +_T > [int:lit(-1)|_T]. | |
| 9 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 10 | +[Es|_T] > [array(_):alit(Es)|_T]. | |
| 11 | +[H,T|_T] > [[H|T]|_T]. | |
| 12 | +_T > [int(1,3)|_T]. | |
| 13 | +_T > [_:id('output_var')|_T]. | |
| 14 | +_T > [[]|_T]. | |
| 15 | +[H,T|_T] > [[H|T]|_T]. | |
| 16 | +[H,T|_T] > [[H|T]|_T]. | |
| 17 | +_T > [int(1,3)|_T]. | |
| 18 | +_T > [_:id('output_var')|_T]. | |
| 19 | +_T > [[]|_T]. | |
| 20 | +[H,T|_T] > [[H|T]|_T]. | |
| 21 | +[H,T|_T] > [[H|T]|_T]. | |
| 22 | +_T > [int(1,3)|_T]. | |
| 23 | +_T > [_:id('output_var')|_T]. | |
| 24 | +_T > [[]|_T]. | |
| 25 | +[H,T|_T] > [[H|T]|_T]. | |
| 26 | +[H,T|_T] > [[H|T]|_T]. | |
| 27 | +_T > [int(1,3)|_T]. | |
| 28 | +_T > [_:id('output_var')|_T]. | |
| 29 | +_T > [[]|_T]. | |
| 30 | +[H,T|_T] > [[H|T]|_T]. | |
| 31 | +[H,T|_T] > [[H|T]|_T]. | |
| 32 | +_T > [int(1,3)|_T]. | |
| 33 | +_T > [_:id('output_var')|_T]. | |
| 34 | +_T > [[]|_T]. | |
| 35 | +[H,T|_T] > [[H|T]|_T]. | |
| 36 | +[H,T|_T] > [[H|T]|_T]. | |
| 37 | +_T > [int(1,3)|_T]. | |
| 38 | +_T > [_:id('output_var')|_T]. | |
| 39 | +_T > [[]|_T]. | |
| 40 | +[H,T|_T] > [[H|T]|_T]. | |
| 41 | +[H,T|_T] > [[H|T]|_T]. | |
| 42 | +_T > [int(1,3)|_T]. | |
| 43 | +_T > [_:id('output_var')|_T]. | |
| 44 | +_T > [[]|_T]. | |
| 45 | +[H,T|_T] > [[H|T]|_T]. | |
| 46 | +[H,T|_T] > [[H|T]|_T]. | |
| 47 | +[X|_T] > [vars(X)|_T]. | |
| 48 | +_T > [[]|_T]. | |
| 49 | +_T > [_:id('X_INTRODUCED_0')|_T]. | |
| 50 | +_T > [_:id('wa')|_T]. | |
| 51 | +_T > [_:id('nt')|_T]. | |
| 52 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 53 | +[Es|_T] > [array(_):alit(Es)|_T]. | |
| 54 | +_T > [int:lit(0)|_T]. | |
| 55 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 56 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 57 | +_T > [[]|_T]. | |
| 58 | +[A, C|_T] > [constraint(C, A)|_T]. | |
| 59 | +[H,T|_T] > [[H|T]|_T]. | |
| 60 | +_T > [_:id('X_INTRODUCED_0')|_T]. | |
| 61 | +_T > [_:id('wa')|_T]. | |
| 62 | +_T > [_:id('sa')|_T]. | |
| 63 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 64 | +[Es|_T] > [array(_):alit(Es)|_T]. | |
| 65 | +_T > [int:lit(0)|_T]. | |
| 66 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 67 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 68 | +_T > [[]|_T]. | |
| 69 | +[A, C|_T] > [constraint(C, A)|_T]. | |
| 70 | +[H,T|_T] > [[H|T]|_T]. | |
| 71 | +_T > [_:id('X_INTRODUCED_0')|_T]. | |
| 72 | +_T > [_:id('nt')|_T]. | |
| 73 | +_T > [_:id('sa')|_T]. | |
| 74 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 75 | +[Es|_T] > [array(_):alit(Es)|_T]. | |
| 76 | +_T > [int:lit(0)|_T]. | |
| 77 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 78 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 79 | +_T > [[]|_T]. | |
| 80 | +[A, C|_T] > [constraint(C, A)|_T]. | |
| 81 | +[H,T|_T] > [[H|T]|_T]. | |
| 82 | +_T > [_:id('X_INTRODUCED_0')|_T]. | |
| 83 | +_T > [_:id('nt')|_T]. | |
| 84 | +_T > [_:id('q')|_T]. | |
| 85 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 86 | +[Es|_T] > [array(_):alit(Es)|_T]. | |
| 87 | +_T > [int:lit(0)|_T]. | |
| 88 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 89 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 90 | +_T > [[]|_T]. | |
| 91 | +[A, C|_T] > [constraint(C, A)|_T]. | |
| 92 | +[H,T|_T] > [[H|T]|_T]. | |
| 93 | +_T > [_:id('X_INTRODUCED_0')|_T]. | |
| 94 | +_T > [_:id('sa')|_T]. | |
| 95 | +_T > [_:id('q')|_T]. | |
| 96 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 97 | +[Es|_T] > [array(_):alit(Es)|_T]. | |
| 98 | +_T > [int:lit(0)|_T]. | |
| 99 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 100 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 101 | +_T > [[]|_T]. | |
| 102 | +[A, C|_T] > [constraint(C, A)|_T]. | |
| 103 | +[H,T|_T] > [[H|T]|_T]. | |
| 104 | +_T > [_:id('X_INTRODUCED_0')|_T]. | |
| 105 | +_T > [_:id('sa')|_T]. | |
| 106 | +_T > [_:id('nsw')|_T]. | |
| 107 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 108 | +[Es|_T] > [array(_):alit(Es)|_T]. | |
| 109 | +_T > [int:lit(0)|_T]. | |
| 110 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 111 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 112 | +_T > [[]|_T]. | |
| 113 | +[A, C|_T] > [constraint(C, A)|_T]. | |
| 114 | +[H,T|_T] > [[H|T]|_T]. | |
| 115 | +_T > [_:id('X_INTRODUCED_0')|_T]. | |
| 116 | +_T > [_:id('sa')|_T]. | |
| 117 | +_T > [_:id('v')|_T]. | |
| 118 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 119 | +[Es|_T] > [array(_):alit(Es)|_T]. | |
| 120 | +_T > [int:lit(0)|_T]. | |
| 121 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 122 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 123 | +_T > [[]|_T]. | |
| 124 | +[A, C|_T] > [constraint(C, A)|_T]. | |
| 125 | +[H,T|_T] > [[H|T]|_T]. | |
| 126 | +_T > [_:id('X_INTRODUCED_0')|_T]. | |
| 127 | +_T > [_:id('q')|_T]. | |
| 128 | +_T > [_:id('nsw')|_T]. | |
| 129 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 130 | +[Es|_T] > [array(_):alit(Es)|_T]. | |
| 131 | +_T > [int:lit(0)|_T]. | |
| 132 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 133 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 134 | +_T > [[]|_T]. | |
| 135 | +[A, C|_T] > [constraint(C, A)|_T]. | |
| 136 | +[H,T|_T] > [[H|T]|_T]. | |
| 137 | +_T > [_:id('X_INTRODUCED_0')|_T]. | |
| 138 | +_T > [_:id('nsw')|_T]. | |
| 139 | +_T > [_:id('v')|_T]. | |
| 140 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 141 | +[Es|_T] > [array(_):alit(Es)|_T]. | |
| 142 | +_T > [int:lit(0)|_T]. | |
| 143 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 144 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 145 | +_T > [[]|_T]. | |
| 146 | +[A, C|_T] > [constraint(C, A)|_T]. | |
| 147 | +[H,T|_T] > [[H|T]|_T]. | |
| 148 | +[X|_T] > [constrs(X)|_T]. | |
| 149 | +_T > [[]|_T]. | ... | ... |
| ... | ... | @@ -0,0 +1,149 @@ |
| 1 | +_ > []. | |
| 2 | +_T > [[]|_T]. | |
| 3 | +[X|_T] > [preds(X)|_T]. | |
| 4 | +_T > [[]|_T]. | |
| 5 | +_T > [int|_T]. | |
| 6 | +_T > [[]|_T]. | |
| 7 | +_T > [int:lit(1)|_T]. | |
| 8 | +_T > [int:lit(-1)|_T]. | |
| 9 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 10 | +[Es|_T] > [array(_,[_]):alit(Es)|_T]. | |
| 11 | +[H,T|_T] > [[H|T]|_T]. | |
| 12 | +_T > [int(1,3)|_T]. | |
| 13 | +_T > [_:id('output_var')|_T]. | |
| 14 | +_T > [[]|_T]. | |
| 15 | +[H,T|_T] > [[H|T]|_T]. | |
| 16 | +[H,T|_T] > [[H|T]|_T]. | |
| 17 | +_T > [int(1,3)|_T]. | |
| 18 | +_T > [_:id('output_var')|_T]. | |
| 19 | +_T > [[]|_T]. | |
| 20 | +[H,T|_T] > [[H|T]|_T]. | |
| 21 | +[H,T|_T] > [[H|T]|_T]. | |
| 22 | +_T > [int(1,3)|_T]. | |
| 23 | +_T > [_:id('output_var')|_T]. | |
| 24 | +_T > [[]|_T]. | |
| 25 | +[H,T|_T] > [[H|T]|_T]. | |
| 26 | +[H,T|_T] > [[H|T]|_T]. | |
| 27 | +_T > [int(1,3)|_T]. | |
| 28 | +_T > [_:id('output_var')|_T]. | |
| 29 | +_T > [[]|_T]. | |
| 30 | +[H,T|_T] > [[H|T]|_T]. | |
| 31 | +[H,T|_T] > [[H|T]|_T]. | |
| 32 | +_T > [int(1,3)|_T]. | |
| 33 | +_T > [_:id('output_var')|_T]. | |
| 34 | +_T > [[]|_T]. | |
| 35 | +[H,T|_T] > [[H|T]|_T]. | |
| 36 | +[H,T|_T] > [[H|T]|_T]. | |
| 37 | +_T > [int(1,3)|_T]. | |
| 38 | +_T > [_:id('output_var')|_T]. | |
| 39 | +_T > [[]|_T]. | |
| 40 | +[H,T|_T] > [[H|T]|_T]. | |
| 41 | +[H,T|_T] > [[H|T]|_T]. | |
| 42 | +_T > [int(1,3)|_T]. | |
| 43 | +_T > [_:id('output_var')|_T]. | |
| 44 | +_T > [[]|_T]. | |
| 45 | +[H,T|_T] > [[H|T]|_T]. | |
| 46 | +[H,T|_T] > [[H|T]|_T]. | |
| 47 | +[X|_T] > [vars(X)|_T]. | |
| 48 | +_T > [[]|_T]. | |
| 49 | +_T > [_:id('X_INTRODUCED_0')|_T]. | |
| 50 | +_T > [_:id('wa')|_T]. | |
| 51 | +_T > [_:id('nt')|_T]. | |
| 52 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 53 | +[Es|_T] > [array(_,[_]):alit(Es)|_T]. | |
| 54 | +_T > [int:lit(0)|_T]. | |
| 55 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 56 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 57 | +_T > [[]|_T]. | |
| 58 | +[A, C|_T] > [constraint(C, A)|_T]. | |
| 59 | +[H,T|_T] > [[H|T]|_T]. | |
| 60 | +_T > [_:id('X_INTRODUCED_0')|_T]. | |
| 61 | +_T > [_:id('wa')|_T]. | |
| 62 | +_T > [_:id('sa')|_T]. | |
| 63 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 64 | +[Es|_T] > [array(_,[_]):alit(Es)|_T]. | |
| 65 | +_T > [int:lit(0)|_T]. | |
| 66 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 67 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 68 | +_T > [[]|_T]. | |
| 69 | +[A, C|_T] > [constraint(C, A)|_T]. | |
| 70 | +[H,T|_T] > [[H|T]|_T]. | |
| 71 | +_T > [_:id('X_INTRODUCED_0')|_T]. | |
| 72 | +_T > [_:id('nt')|_T]. | |
| 73 | +_T > [_:id('sa')|_T]. | |
| 74 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 75 | +[Es|_T] > [array(_,[_]):alit(Es)|_T]. | |
| 76 | +_T > [int:lit(0)|_T]. | |
| 77 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 78 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 79 | +_T > [[]|_T]. | |
| 80 | +[A, C|_T] > [constraint(C, A)|_T]. | |
| 81 | +[H,T|_T] > [[H|T]|_T]. | |
| 82 | +_T > [_:id('X_INTRODUCED_0')|_T]. | |
| 83 | +_T > [_:id('nt')|_T]. | |
| 84 | +_T > [_:id('q')|_T]. | |
| 85 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 86 | +[Es|_T] > [array(_,[_]):alit(Es)|_T]. | |
| 87 | +_T > [int:lit(0)|_T]. | |
| 88 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 89 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 90 | +_T > [[]|_T]. | |
| 91 | +[A, C|_T] > [constraint(C, A)|_T]. | |
| 92 | +[H,T|_T] > [[H|T]|_T]. | |
| 93 | +_T > [_:id('X_INTRODUCED_0')|_T]. | |
| 94 | +_T > [_:id('sa')|_T]. | |
| 95 | +_T > [_:id('q')|_T]. | |
| 96 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 97 | +[Es|_T] > [array(_,[_]):alit(Es)|_T]. | |
| 98 | +_T > [int:lit(0)|_T]. | |
| 99 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 100 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 101 | +_T > [[]|_T]. | |
| 102 | +[A, C|_T] > [constraint(C, A)|_T]. | |
| 103 | +[H,T|_T] > [[H|T]|_T]. | |
| 104 | +_T > [_:id('X_INTRODUCED_0')|_T]. | |
| 105 | +_T > [_:id('sa')|_T]. | |
| 106 | +_T > [_:id('nsw')|_T]. | |
| 107 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 108 | +[Es|_T] > [array(_,[_]):alit(Es)|_T]. | |
| 109 | +_T > [int:lit(0)|_T]. | |
| 110 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 111 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 112 | +_T > [[]|_T]. | |
| 113 | +[A, C|_T] > [constraint(C, A)|_T]. | |
| 114 | +[H,T|_T] > [[H|T]|_T]. | |
| 115 | +_T > [_:id('X_INTRODUCED_0')|_T]. | |
| 116 | +_T > [_:id('sa')|_T]. | |
| 117 | +_T > [_:id('v')|_T]. | |
| 118 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 119 | +[Es|_T] > [array(_,[_]):alit(Es)|_T]. | |
| 120 | +_T > [int:lit(0)|_T]. | |
| 121 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 122 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 123 | +_T > [[]|_T]. | |
| 124 | +[A, C|_T] > [constraint(C, A)|_T]. | |
| 125 | +[H,T|_T] > [[H|T]|_T]. | |
| 126 | +_T > [_:id('X_INTRODUCED_0')|_T]. | |
| 127 | +_T > [_:id('q')|_T]. | |
| 128 | +_T > [_:id('nsw')|_T]. | |
| 129 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 130 | +[Es|_T] > [array(_,[_]):alit(Es)|_T]. | |
| 131 | +_T > [int:lit(0)|_T]. | |
| 132 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 133 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 134 | +_T > [[]|_T]. | |
| 135 | +[A, C|_T] > [constraint(C, A)|_T]. | |
| 136 | +[H,T|_T] > [[H|T]|_T]. | |
| 137 | +_T > [_:id('X_INTRODUCED_0')|_T]. | |
| 138 | +_T > [_:id('nsw')|_T]. | |
| 139 | +_T > [_:id('v')|_T]. | |
| 140 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 141 | +[Es|_T] > [array(_,[_]):alit(Es)|_T]. | |
| 142 | +_T > [int:lit(0)|_T]. | |
| 143 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 144 | +[T2:E2,T1:E1|_T] > [(T1,T2):(E1,E2)|_T]. | |
| 145 | +_T > [[]|_T]. | |
| 146 | +[A, C|_T] > [constraint(C, A)|_T]. | |
| 147 | +[H,T|_T] > [[H|T]|_T]. | |
| 148 | +[X|_T] > [constrs(X)|_T]. | |
| 149 | +_T > [[]|_T]. | ... | ... |