1$ cat control_01.lua | clingo lua.lp blocks_01.lp world.lp lua_interpret.lp 0 2 3clingo version 4.1 4Reading from lua.lp ... 5Ground: base_1 6Ground: init(1,0) 7Ground: state(1,0) 8============= 9TIME 0 10Solving... 11Answer: 1 12order(-1,1,0,0) 13SATISFIABLE 14============= 15Ground: base_2 16Ground: init(2,0) 17Ground: state(2,0) 18============= 19TIME 0 20Solving... 21UNSATISFIABLE 22============= 23Ground: table(1) 24Ground: state(1,1) 25Ground: move(1,1) 26Ground: state(2,1) 27Ground: move(2,1) 28============= 29TIME 1 30Solving... 31UNSATISFIABLE 32============= 33Ground: table(2) 34Ground: state(1,2) 35Ground: move(1,2) 36Ground: state(2,2) 37Ground: move(2,2) 38============= 39TIME 2 40Solving... 41Answer: 1 42order(-1,1,0,0) order(-1,2,1,0) order(-1,1,0,1) order(-1,2,0,1) object(2,1) target(0,1) order(-1,1,0,2) order(1,2,1,2) order(-1,2,0,2) object(1,2) target(2,2) 43SATISFIABLE 44============= 45Ground: base_3 46Ground: init(3,0) 47Ground: state(3,0) 48Ground: move(3,1) 49Ground: state(3,1) 50Ground: move(3,2) 51Ground: state(3,2) 52============= 53TIME 2 54Solving... 55UNSATISFIABLE 56============= 57Ground: table(3) 58Ground: state(1,3) 59Ground: move(1,3) 60Ground: state(2,3) 61Ground: move(2,3) 62Ground: state(3,3) 63Ground: move(3,3) 64============= 65TIME 3 66Solving... 67Answer: 1 68order(-1,1,0,0) order(-1,2,1,0) order(-1,1,0,1) order(-1,2,1,1) target(0,1) order(-1,1,0,2) order(-1,2,0,2) object(2,2) order(-1,3,2,0) order(-1,3,0,1) order(1,3,2,2) order(-1,3,0,2) object(3,1) target(3,2) order(-1,1,0,3) order(1,2,1,3) order(-1,2,0,3) order(1,3,2,3) order(-1,3,0,3) object(1,3) target(2,3) 69SATISFIABLE 70============= 71Ground: base_4 72Ground: init(4,0) 73Ground: state(4,0) 74Ground: move(4,1) 75Ground: state(4,1) 76Ground: move(4,2) 77Ground: state(4,2) 78Ground: move(4,3) 79Ground: state(4,3) 80============= 81TIME 3 82Solving... 83UNSATISFIABLE 84============= 85Ground: table(4) 86Ground: state(1,4) 87Ground: move(1,4) 88Ground: state(2,4) 89Ground: move(2,4) 90Ground: state(3,4) 91Ground: move(3,4) 92Ground: state(4,4) 93Ground: move(4,4) 94============= 95TIME 4 96Solving... 97Answer: 1 98order(-1,1,0,0) order(-1,2,1,0) order(-1,1,0,1) order(-1,2,1,1) target(0,1) order(-1,1,0,2) order(-1,2,1,2) order(-1,3,2,0) order(-1,3,0,1) order(-1,3,0,2) object(3,1) target(3,2) order(-1,1,0,3) order(-1,2,0,3) order(1,3,2,3) order(-1,3,0,3) object(2,3) order(1,4,3,0) order(-1,4,2,0) order(-1,4,2,1) order(-1,4,3,2) order(1,4,2,3) order(-1,4,3,3) object(4,2) target(4,3) order(-1,1,0,4) order(1,2,1,4) order(-1,2,0,4) order(1,3,2,4) order(-1,3,0,4) order(1,4,2,4) order(-1,4,3,4) object(1,4) target(2,4) 99SATISFIABLE 100============= 101Ground: base_5 102Ground: init(5,1) 103Ground: state(5,1) 104Ground: move(5,1) 105Ground: move(5,2) 106Ground: state(5,2) 107Ground: move(5,3) 108Ground: state(5,3) 109Ground: move(5,4) 110Ground: state(5,4) 111============= 112TIME 4 113Solving... 114UNSATISFIABLE 115============= 116Ground: table(5) 117Ground: state(1,5) 118Ground: move(1,5) 119Ground: state(2,5) 120Ground: move(2,5) 121Ground: state(3,5) 122Ground: move(3,5) 123Ground: state(4,5) 124Ground: move(4,5) 125Ground: state(5,5) 126Ground: move(5,5) 127============= 128TIME 5 129Solving... 130UNSATISFIABLE 131============= 132Ground: table(6) 133Ground: state(1,6) 134Ground: move(1,6) 135Ground: state(2,6) 136Ground: move(2,6) 137Ground: state(3,6) 138Ground: move(3,6) 139Ground: state(4,6) 140Ground: move(4,6) 141Ground: state(5,6) 142Ground: move(5,6) 143============= 144TIME 6 145Solving... 146UNSATISFIABLE 147============= 148Ground: table(7) 149Ground: state(1,7) 150Ground: move(1,7) 151Ground: state(2,7) 152Ground: move(2,7) 153Ground: state(3,7) 154Ground: move(3,7) 155Ground: state(4,7) 156Ground: move(4,7) 157Ground: state(5,7) 158Ground: move(5,7) 159============= 160TIME 7 161Solving... 162Answer: 1 163order(-1,1,0,0) order(-1,2,1,0) order(-1,1,0,1) order(-1,2,1,1) order(-1,1,0,2) order(-1,2,1,2) target(0,2) order(-1,3,2,0) order(-1,3,2,1) order(-1,3,0,2) object(3,1) object(3,2) order(-1,1,0,3) order(-1,2,1,3) order(-1,3,0,3) target(0,3) order(1,4,3,0) order(-1,4,2,0) order(1,4,3,1) order(-1,4,2,1) order(-1,4,2,2) order(-1,4,2,3) order(-1,1,0,4) order(-1,2,1,4) order(-1,3,0,4) order(-1,4,3,4) object(4,4) target(3,4) order(1,5,3,1) order(-1,5,4,1) order(-1,5,4,2) order(-1,5,0,3) order(-1,5,0,4) object(5,3) target(5,1) order(-1,1,0,5) order(-1,2,0,5) order(1,3,2,5) order(-1,3,0,5) order(1,4,2,5) order(-1,4,3,5) order(-1,5,0,5) object(2,5) target(4,5) order(-1,1,0,6) order(1,2,1,6) order(-1,2,0,6) order(1,3,2,6) order(-1,3,0,6) order(1,4,2,6) order(-1,4,3,6) order(-1,5,0,6) object(1,6) target(2,6) order(-1,1,0,7) order(1,2,1,7) order(-1,2,0,7) order(1,3,2,7) order(-1,3,0,7) order(1,4,2,7) order(-1,4,3,7) order(-1,5,1,7) object(5,7) target(1,7) 164Answer: 2 165order(-1,1,0,0) order(-1,2,1,0) order(-1,1,0,1) order(-1,2,1,1) order(-1,1,0,2) order(-1,2,1,2) target(0,2) order(-1,3,2,0) order(-1,3,2,1) order(-1,3,0,2) object(3,1) object(3,2) order(-1,1,0,3) order(-1,2,1,3) order(-1,3,0,3) target(0,3) order(1,4,3,0) order(-1,4,2,0) order(1,4,3,1) order(-1,4,2,1) order(-1,4,2,2) order(-1,4,2,3) order(-1,1,0,4) order(-1,2,1,4) order(-1,3,0,4) order(-1,4,3,4) object(4,4) target(3,4) order(1,5,3,1) order(-1,5,4,1) order(-1,5,4,2) order(-1,5,0,3) order(-1,5,0,4) object(5,3) target(5,1) order(-1,1,0,5) order(-1,2,0,5) order(1,3,2,5) order(-1,3,0,5) order(1,4,2,5) order(-1,4,3,5) order(-1,5,0,5) object(2,5) target(4,5) order(-1,1,0,6) order(-1,2,0,6) order(1,3,2,6) order(-1,3,0,6) order(1,4,2,6) order(-1,4,3,6) order(-1,5,2,6) object(5,6) target(2,6) order(-1,1,0,7) order(1,2,1,7) order(-1,2,0,7) order(1,3,2,7) order(-1,3,0,7) order(1,4,2,7) order(-1,4,3,7) order(1,5,1,7) order(-1,5,2,7) object(1,7) target(5,7) 166SATISFIABLE 167============= 168Ground: base_6 169Ground: init(6,0) 170Ground: state(6,0) 171Ground: move(6,1) 172Ground: state(6,1) 173Ground: move(6,2) 174Ground: state(6,2) 175Ground: move(6,3) 176Ground: state(6,3) 177Ground: move(6,4) 178Ground: state(6,4) 179Ground: move(6,5) 180Ground: state(6,5) 181Ground: move(6,6) 182Ground: state(6,6) 183Ground: move(6,7) 184Ground: state(6,7) 185============= 186TIME 7 187Solving... 188UNSATISFIABLE 189============= 190Ground: table(8) 191Ground: state(1,8) 192Ground: move(1,8) 193Ground: state(2,8) 194Ground: move(2,8) 195Ground: state(3,8) 196Ground: move(3,8) 197Ground: state(4,8) 198Ground: move(4,8) 199Ground: state(5,8) 200Ground: move(5,8) 201Ground: state(6,8) 202Ground: move(6,8) 203============= 204TIME 8 205Solving... 206UNSATISFIABLE 207============= 208Ground: table(9) 209Ground: state(1,9) 210Ground: move(1,9) 211Ground: state(2,9) 212Ground: move(2,9) 213Ground: state(3,9) 214Ground: move(3,9) 215Ground: state(4,9) 216Ground: move(4,9) 217Ground: state(5,9) 218Ground: move(5,9) 219Ground: state(6,9) 220Ground: move(6,9) 221============= 222TIME 9 223Solving... 224Answer: 1 225order(-1,1,0,0) order(-1,2,1,0) order(-1,1,0,1) order(-1,2,1,1) order(-1,1,0,2) order(-1,2,1,2) target(0,2) order(-1,3,2,0) order(-1,3,2,1) order(-1,3,0,2) object(3,1) object(3,2) order(-1,1,0,3) order(-1,2,1,3) order(-1,3,0,3) target(0,3) order(1,4,3,0) order(-1,4,2,0) order(1,4,3,1) order(-1,4,2,1) order(-1,4,2,2) order(-1,4,2,3) order(-1,1,0,4) order(-1,2,1,4) order(-1,3,0,4) order(-1,4,2,4) target(0,4) order(1,5,3,1) order(-1,5,4,1) order(-1,5,4,2) order(-1,5,0,3) order(-1,5,0,4) object(5,3) target(5,1) order(-1,1,0,5) order(-1,2,1,5) order(-1,3,0,5) order(-1,4,2,5) order(-1,5,0,5) object(3,5) order(-1,1,0,6) order(-1,2,1,6) order(-1,3,0,6) order(-1,4,3,6) order(-1,5,0,6) object(4,6) target(3,6) order(-1,1,0,7) order(-1,2,0,7) order(1,3,2,7) order(-1,3,0,7) order(1,4,2,7) order(-1,4,3,7) order(-1,5,0,7) object(2,7) target(4,7) order(1,6,3,0) order(-1,6,4,0) order(1,6,5,1) order(-1,6,4,1) order(1,6,5,2) order(-1,6,4,2) order(-1,6,4,3) order(-1,6,0,4) order(1,6,3,5) order(-1,6,0,5) order(1,6,3,6) order(-1,6,0,6) order(1,6,3,7) order(-1,6,0,7) object(6,4) target(6,5) order(-1,1,0,8) order(-1,2,0,8) order(1,3,2,8) order(-1,3,0,8) order(1,4,2,8) order(-1,4,3,8) order(-1,5,2,8) order(1,6,3,8) order(-1,6,0,8) object(5,8) target(2,8) order(-1,1,0,9) order(1,2,1,9) order(-1,2,0,9) order(1,3,2,9) order(-1,3,0,9) order(1,4,2,9) order(-1,4,3,9) order(1,5,1,9) order(-1,5,2,9) order(1,6,3,9) order(-1,6,0,9) object(1,9) target(5,9) 226Answer: 2 227order(-1,1,0,0) order(-1,2,1,0) order(-1,1,0,1) order(-1,2,1,1) order(-1,1,0,2) order(-1,2,1,2) target(0,2) order(-1,3,2,0) order(-1,3,2,1) order(-1,3,0,2) object(3,1) object(3,2) order(-1,1,0,3) order(-1,2,1,3) order(-1,3,0,3) target(0,3) order(1,4,3,0) order(-1,4,2,0) order(1,4,3,1) order(-1,4,2,1) order(-1,4,2,2) order(-1,4,2,3) order(-1,1,0,4) order(-1,2,1,4) order(-1,3,0,4) order(-1,4,2,4) target(0,4) order(1,5,3,1) order(-1,5,4,1) order(-1,5,4,2) order(-1,5,0,3) order(-1,5,0,4) object(5,3) target(5,1) order(-1,1,0,5) order(-1,2,1,5) order(-1,3,0,5) order(-1,4,2,5) order(-1,5,0,5) object(3,5) order(-1,1,0,6) order(-1,2,1,6) order(-1,3,0,6) order(-1,4,3,6) order(-1,5,0,6) object(4,6) target(3,6) order(-1,1,0,7) order(-1,2,0,7) order(1,3,2,7) order(-1,3,0,7) order(1,4,2,7) order(-1,4,3,7) order(-1,5,0,7) object(2,7) target(4,7) order(1,6,3,0) order(-1,6,4,0) order(1,6,5,1) order(-1,6,4,1) order(1,6,5,2) order(-1,6,4,2) order(-1,6,4,3) order(-1,6,0,4) order(1,6,3,5) order(-1,6,0,5) order(1,6,3,6) order(-1,6,0,6) order(1,6,3,7) order(-1,6,0,7) object(6,4) target(6,5) order(-1,1,0,8) order(1,2,1,8) order(-1,2,0,8) order(1,3,2,8) order(-1,3,0,8) order(1,4,2,8) order(-1,4,3,8) order(-1,5,0,8) order(1,6,3,8) order(-1,6,0,8) object(1,8) target(2,8) order(-1,1,0,9) order(1,2,1,9) order(-1,2,0,9) order(1,3,2,9) order(-1,3,0,9) order(1,4,2,9) order(-1,4,3,9) order(-1,5,1,9) order(1,6,3,9) order(-1,6,0,9) object(5,9) target(1,9) 228SATISFIABLE 229============= 230SATISFIABLE 231 232Models : 7 233Calls : 15 234Time : 0.068s (Solving: 0.01s 1st Model: 0.00s Unsat: 0.01s) 235CPU Time : 0.060s 236