EventCalculusAnswerSetSolver
X
–
Menu
EventCalculusAnswerSetSolver
X
–
Menu
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
% Let's play a game of tic tac toe
%constants
#const playerNum=2.
place(0..8).
player(1..playerNum).
event(E) :- userEvent(E).
%%% .RULES.
%% generation
#const maxstep=5.
{happens(E, T)} :- time(T) , event(E).
:- not wins(1).
%% playing
verb(clicked, place).
userEvent(clicked(Place)) :- place(Place).
fluent(signed(Player, Place)) :- player(Player), place(Place).
fluent(turn(Player)) :- player(Player).
% player one start the play
holdsAt(turn(1), 0).
% when a place is clicked, the player whose turn it is claims that place for 
himself
initiates(clicked(Place), signed(Player, Place), T)
    :- place(Place), player(Player), time(T), holdsAt(turn(Player), T).
% at most one player can claim a place
:- holdsAt(signed(P1, Place), T), holdsAt(signed(P2, Place), T),
    player(P1), player(P2), P1 != P2, place(Place), time(T).
% if the current player clicks, the next player will have a turn.
%     base case
initiates(clicked(Place), turn(P2), T)
    :- holdsAt(turn(P1), T), P1 < playerNum, P2 == P1 + 1,
    player(P1), player(P2), time(T), place(Place).
%     end of round case
initiates(clicked(Place), turn(1), T)
    :- time(T), place(Place), holdsAt(turn(playerNum), T).
% after a click, the turn for the current player ends
X
Exit code 10 users/larswassermann/dec.e.lp:48:34-49: warning: atom is undefined: releases(E,F,T) users/larswassermann/dec.e.lp:35:35-50: warning: atom is undefined: releases(E,F,T) users/larswassermann/dec.e.lp:17:61-88: warning: atom is undefined: antiTrajectory(F1,T1,F2,T2) users/larswassermann/dec.e.lp:15:60-83: warning: atom is undefined: trajectory(F1,T1,F2,T2)
Generated 10+ models in 0.02 s.
0
1
2
3
4
5
6
7
8
5
Player 1 has won.
0
1
2
3
4
5
6
7
8
5
Player 1 has won.
0
1
2
3
4
5
6
7
8
5
Player 1 has won.
0
1
2
3
4
5
6
7
8
5
Player 1 has won.
0
1
2
3
4
5
6
7
8
5
Player 1 has won.
0
1
2
3
4
5
6
7
8
5
Player 1 has won.
0
1
2
3
4
5
6
7
8
5
Player 1 has won.
0
1
2
3
4
5
6
7
8
5
Player 1 has won.
0
1
2
3
4
5
6
7
8
5
Player 1 has won.
0
1
2
3
4
5
6
7
8
5
Player 1 has won.
users/larswassermann/ticktactoe.lp
interactive visualization
EventCalculusAnswerSetSolver
X
–
Menu
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
%constants
#const startPlace=0.
#const feederLength=3.
#const choiceLength=3.
#const binPlace=startPlace + feederLength + choiceLength + 1.
#const tileCount=5.
% subjects
place(startPlace..binPlace).
tile(0..tileCount-1).
% start with a, then go to 26 letters
letter(a;b;c;d;e;f;g;h;i;j;k;l;m;n;o;p;q;r;s;t;u;v;w;x;y;z).
% value(1..4). value(8). value(10).
%  A: 1, B: 3, C: 3, D: 2, E: 1, F: 4, G: 2, H: 4, I: 1, J: 8, K: 5, L: 1, M: 3, N
: 1, O: 1, P: 3, Q: 10, R: 1, S: 1, T: 1, U: 1, V: 4, W: 4, X: 8, Y: 4, Z: 10
letterValue(a, 1). letterValue(b, 3). letterValue(c, 3).
letterValue(d, 2). letterValue(e, 1). letterValue(f, 4).
letterValue(g, 2). letterValue(h, 4). letterValue(i, 1).
letterValue(j, 8). letterValue(k, 5). letterValue(l, 1).
letterValue(m, 3). letterValue(n, 1). letterValue(o, 1).
letterValue(p, 3). letterValue(q, 10). letterValue(r, 1).
letterValue(s, 1). letterValue(t, 1). letterValue(u, 1).
letterValue(v, 4). letterValue(w, 4). letterValue(x, 8).
letterValue(y, 4). letterValue(z, 10).
vowel(a). vowel(e). vowel(i). vowel(o). vowel(u).
wordPlace(1..choiceLength).
event(E) :- userEvent(E).
event(E) :- chainEvent(E).
%% generation
#const maxstep=1.
%% some scenarios
%%% .RULES.
happens(tick, T) :- time(T), { happens(E, T) : userEvent(E) } 0.
%% game start
X
Exit code 10 users/larswassermann/test.lp:197:112-134: warning: atom is undefined: wordExists(Success,T) users/larswassermann/test.lp:195:22-40: warning: atom is undefined: wordExists(Mod,T) users/larswassermann/test.lp:56:38-54: warning: atom is undefined: wordExists(N,T) users/larswassermann/dec.e.lp:15:60-83: warning: atom is undefined: trajectory(F1,T1,F2,T2) users/larswassermann/dec.e.lp:17:61-88: warning: atom is undefined: antiTrajectory(F1,T1,F2,T2) users/larswassermann/dec.e.lp:48:34-49: warning: atom is undefined: releases(E,F,T) users/larswassermann/dec.e.lp:35:35-50: warning: atom is undefined: releases(E,F,T) users/larswassermann/test.lp:238:1-12: warning: no matching occurrence for signature: r0/1 users/larswassermann/test.lp:239:1-12: warning: no matching occurrence for signature: rn/2
Generated 10+ models in 0.04 s.
happens: (moveTo(4,1),0) (tick,0) (moveTo(4,2),1) (tick,1) holdsAt: (isOn(0,0),0) (isOn(1,0),0) (isOn(2,0),0) (isOn(3,0),0) (isOn(4,0),0) (isOn(0,0),1) (isOn(1,0),1) (isOn(2,0),1) (isOn(3,0),1) (isOn(4,1),1) incidentalState: (tileLetter(0,y)) (tileLetter(1,k)) (tileLetter(2,k)) (tileLetter(3,k)) (tileLetter(4,k)) (happens(moveTo(4,1),0)) place: (0) (1) (2) (3) (4) (5) (6) (7) score: (0,0) (0,1) tickingTime: (3000) tile: (0) (1) (2) (3) (4) tileLetter: (0,y) (1,k) (2,k) (3,k) (4,k) time: (0) (1) validKey: (enter) (z) (a) (b) (c) (d) (e) (f) (g) (h) (i) (j) (k) (l) (backspace) (n) (o) (p) (q) (r) (s) (t) (u) (v) (w) (x) (y) (m) verb: (type,keyboard)
happens: (moveTo(4,1),0) (tick,0) (moveTo(4,2),1) (tick,1) holdsAt: (isOn(0,0),0) (isOn(1,0),0) (isOn(2,0),0) (isOn(3,0),0) (isOn(4,0),0) (isOn(0,0),1) (isOn(1,0),1) (isOn(2,0),1) (isOn(3,0),1) (isOn(4,1),1) incidentalState: (tileLetter(0,y)) (tileLetter(1,k)) (tileLetter(2,k)) (tileLetter(3,k)) (tileLetter(4,g)) (happens(moveTo(4,1),0)) place: (0) (1) (2) (3) (4) (5) (6) (7) score: (0,0) (0,1) tickingTime: (3000) tile: (0) (1) (2) (3) (4) tileLetter: (0,y) (1,k) (2,k) (3,k) (4,g) time: (0) (1) validKey: (enter) (z) (a) (b) (c) (d) (e) (f) (g) (h) (i) (j) (k) (l) (backspace) (n) (o) (p) (q) (r) (s) (t) (u) (v) (w) (x) (y) (m) verb: (type,keyboard)
happens: (moveTo(4,1),0) (tick,0) (moveTo(4,2),1) (tick,1) holdsAt: (isOn(0,0),0) (isOn(1,0),0) (isOn(2,0),0) (isOn(3,0),0) (isOn(4,0),0) (isOn(0,0),1) (isOn(1,0),1) (isOn(2,0),1) (isOn(3,0),1) (isOn(4,1),1) incidentalState: (tileLetter(0,y)) (tileLetter(1,k)) (tileLetter(2,k)) (tileLetter(3,k)) (tileLetter(4,d)) (happens(moveTo(4,1),0)) place: (0) (1) (2) (3) (4) (5) (6) (7) score: (0,0) (0,1) tickingTime: (3000) tile: (0) (1) (2) (3) (4) tileLetter: (0,y) (1,k) (2,k) (3,k) (4,d) time: (0) (1) validKey: (enter) (z) (a) (b) (c) (d) (e) (f) (g) (h) (i) (j) (k) (l) (backspace) (n) (o) (p) (q) (r) (s) (t) (u) (v) (w) (x) (y) (m) verb: (type,keyboard)
happens: (moveTo(4,1),0) (tick,0) (moveTo(4,2),1) (tick,1) holdsAt: (isOn(0,0),0) (isOn(1,0),0) (isOn(2,0),0) (isOn(3,0),0) (isOn(4,0),0) (isOn(0,0),1) (isOn(1,0),1) (isOn(2,0),1) (isOn(3,0),1) (isOn(4,1),1) incidentalState: (tileLetter(0,y)) (tileLetter(1,k)) (tileLetter(2,x)) (tileLetter(3,k)) (tileLetter(4,d)) (happens(moveTo(4,1),0)) place: (0) (1) (2) (3) (4) (5) (6) (7) score: (0,0) (0,1) tickingTime: (3000) tile: (0) (1) (2) (3) (4) tileLetter: (0,y) (1,k) (2,x) (3,k) (4,d) time: (0) (1) validKey: (enter) (z) (a) (b) (c) (d) (e) (f) (g) (h) (i) (j) (k) (l) (backspace) (n) (o) (p) (q) (r) (s) (t) (u) (v) (w) (x) (y) (m) verb: (type,keyboard)
happens: (moveTo(4,1),0) (tick,0) (moveTo(4,2),1) (tick,1) holdsAt: (isOn(0,0),0) (isOn(1,0),0) (isOn(2,0),0) (isOn(3,0),0) (isOn(4,0),0) (isOn(0,0),1) (isOn(1,0),1) (isOn(2,0),1) (isOn(3,0),1) (isOn(4,1),1) incidentalState: (tileLetter(0,y)) (tileLetter(1,g)) (tileLetter(2,x)) (tileLetter(3,k)) (tileLetter(4,d)) (happens(moveTo(4,1),0)) place: (0) (1) (2) (3) (4) (5) (6) (7) score: (0,0) (0,1) tickingTime: (3000) tile: (0) (1) (2) (3) (4) tileLetter: (0,y) (1,g) (2,x) (3,k) (4,d) time: (0) (1) validKey: (enter) (z) (a) (b) (c) (d) (e) (f) (g) (h) (i) (j) (k) (l) (backspace) (n) (o) (p) (q) (r) (s) (t) (u) (v) (w) (x) (y) (m) verb: (type,keyboard)
happens: (moveTo(4,1),0) (tick,0) (moveTo(4,2),1) (tick,1) holdsAt: (isOn(0,0),0) (isOn(1,0),0) (isOn(2,0),0) (isOn(3,0),0) (isOn(4,0),0) (isOn(0,0),1) (isOn(1,0),1) (isOn(2,0),1) (isOn(3,0),1) (isOn(4,1),1) incidentalState: (tileLetter(0,y)) (tileLetter(1,g)) (tileLetter(2,x)) (tileLetter(3,p)) (tileLetter(4,d)) (happens(moveTo(4,1),0)) place: (0) (1) (2) (3) (4) (5) (6) (7) score: (0,0) (0,1) tickingTime: (3000) tile: (0) (1) (2) (3) (4) tileLetter: (0,y) (1,g) (2,x) (3,p) (4,d) time: (0) (1) validKey: (enter) (z) (a) (b) (c) (d) (e) (f) (g) (h) (i) (j) (k) (l) (backspace) (n) (o) (p) (q) (r) (s) (t) (u) (v) (w) (x) (y) (m) verb: (type,keyboard)
happens: (moveTo(4,1),0) (tick,0) (moveTo(4,2),1) (tick,1) holdsAt: (isOn(0,0),0) (isOn(1,0),0) (isOn(2,0),0) (isOn(3,0),0) (isOn(4,0),0) (isOn(0,0),1) (isOn(1,0),1) (isOn(2,0),1) (isOn(3,0),1) (isOn(4,1),1) incidentalState: (tileLetter(0,y)) (tileLetter(1,g)) (tileLetter(2,x)) (tileLetter(3,m)) (tileLetter(4,d)) (happens(moveTo(4,1),0)) place: (0) (1) (2) (3) (4) (5) (6) (7) score: (0,0) (0,1) tickingTime: (3000) tile: (0) (1) (2) (3) (4) tileLetter: (0,y) (1,g) (2,x) (3,m) (4,d) time: (0) (1) validKey: (enter) (z) (a) (b) (c) (d) (e) (f) (g) (h) (i) (j) (k) (l) (backspace) (n) (o) (p) (q) (r) (s) (t) (u) (v) (w) (x) (y) (m) verb: (type,keyboard)
happens: (moveTo(4,1),0) (tick,0) (moveTo(4,2),1) (tick,1) holdsAt: (isOn(0,0),0) (isOn(1,0),0) (isOn(2,0),0) (isOn(3,0),0) (isOn(4,0),0) (isOn(0,0),1) (isOn(1,0),1) (isOn(2,0),1) (isOn(3,0),1) (isOn(4,1),1) incidentalState: (tileLetter(0,y)) (tileLetter(1,g)) (tileLetter(2,k)) (tileLetter(3,m)) (tileLetter(4,d)) (happens(moveTo(4,1),0)) place: (0) (1) (2) (3) (4) (5) (6) (7) score: (0,0) (0,1) tickingTime: (3000) tile: (0) (1) (2) (3) (4) tileLetter: (0,y) (1,g) (2,k) (3,m) (4,d) time: (0) (1) validKey: (enter) (z) (a) (b) (c) (d) (e) (f) (g) (h) (i) (j) (k) (l) (backspace) (n) (o) (p) (q) (r) (s) (t) (u) (v) (w) (x) (y) (m) verb: (type,keyboard)
happens: (moveTo(4,1),0) (tick,0) (moveTo(4,2),1) (tick,1) holdsAt: (isOn(0,0),0) (isOn(1,0),0) (isOn(2,0),0) (isOn(3,0),0) (isOn(4,0),0) (isOn(0,0),1) (isOn(1,0),1) (isOn(2,0),1) (isOn(3,0),1) (isOn(4,1),1) incidentalState: (tileLetter(0,y)) (tileLetter(1,g)) (tileLetter(2,z)) (tileLetter(3,m)) (tileLetter(4,d)) (happens(moveTo(4,1),0)) place: (0) (1) (2) (3) (4) (5) (6) (7) score: (0,0) (0,1) tickingTime: (3000) tile: (0) (1) (2) (3) (4) tileLetter: (0,y) (1,g) (2,z) (3,m) (4,d) time: (0) (1) validKey: (enter) (z) (a) (b) (c) (d) (e) (f) (g) (h) (i) (j) (k) (l) (backspace) (n) (o) (p) (q) (r) (s) (t) (u) (v) (w) (x) (y) (m) verb: (type,keyboard)
happens: (moveTo(4,1),0) (tick,0) (moveTo(4,2),1) (tick,1) holdsAt: (isOn(0,0),0) (isOn(1,0),0) (isOn(2,0),0) (isOn(3,0),0) (isOn(4,0),0) (isOn(0,0),1) (isOn(1,0),1) (isOn(2,0),1) (isOn(3,0),1) (isOn(4,1),1) incidentalState: (tileLetter(0,y)) (tileLetter(1,g)) (tileLetter(2,y)) (tileLetter(3,m)) (tileLetter(4,d)) (happens(moveTo(4,1),0)) place: (0) (1) (2) (3) (4) (5) (6) (7) score: (0,0) (0,1) tickingTime: (3000) tile: (0) (1) (2) (3) (4) tileLetter: (0,y) (1,g) (2,y) (3,m) (4,d) time: (0) (1) validKey: (enter) (z) (a) (b) (c) (d) (e) (f) (g) (h) (i) (j) (k) (l) (backspace) (n) (o) (p) (q) (r) (s) (t) (u) (v) (w) (x) (y) (m) verb: (type,keyboard)
users/larswassermann/qbf_history.lp
interactive visualization
EventCalculusAnswerSetSolver
X
–
Menu
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
%constants
#const startPlace=0.
#const feederLength=3.
#const choiceLength=8.
#const binPlace=startPlace + feederLength + choiceLength + 1.
#const tileCount=10.
% subjects
place(startPlace..binPlace).
tile(0..tileCount-1).
% start with a, then go to 26 letters
letter(a;b;c;d;e;f;g;h;i;j;k;l;m;n;o;p;q;r;s;t;u;v;w;x;y;z).
% value(1..4). value(8). value(10).
%  A: 1, B: 3, C: 3, D: 2, E: 1, F: 4, G: 2, H: 4, I: 1, J: 8, K: 5, L: 1, M: 3, N
: 1, O: 1, P: 3, Q: 10, R: 1, S: 1, T: 1, U: 1, V: 4, W: 4, X: 8, Y: 4, Z: 10
letterValue(a, 1). letterValue(b, 3). letterValue(c, 3).
letterValue(d, 2). letterValue(e, 1). letterValue(f, 4).
letterValue(g, 2). letterValue(h, 4). letterValue(i, 1).
letterValue(j, 8). letterValue(k, 5). letterValue(l, 1).
letterValue(m, 3). letterValue(n, 1). letterValue(o, 1).
letterValue(p, 3). letterValue(q, 10). letterValue(r, 1).
letterValue(s, 1). letterValue(t, 1). letterValue(u, 1).
letterValue(v, 4). letterValue(w, 4). letterValue(x, 8).
letterValue(y, 4). letterValue(z, 10).
vowel(a). vowel(e). vowel(i). vowel(o). vowel(u).
wordPlace(1..choiceLength).
event(E) :- userEvent(E).
event(E) :- chainEvent(E).
%% generation
#const maxstep=1.
%% some scenarios
%%% .RULES.
happens(tick, T) :- time(T), { happens(E, T) : userEvent(E) } 0.
%% game start
holdsAt(isOn(U, startPlace), 0) :- tile(U).
X
Exit code 10 users/larswassermann/test.lp:196:112-134: warning: atom is undefined: wordExists(Success,T) users/larswassermann/test.lp:194:22-40: warning: atom is undefined: wordExists(Mod,T) users/larswassermann/dec.e.lp:15:60-83: warning: atom is undefined: trajectory(F1,T1,F2,T2) users/larswassermann/test.lp:56:38-54: warning: atom is undefined: wordExists(N,T) users/larswassermann/dec.e.lp:17:61-88: warning: atom is undefined: antiTrajectory(F1,T1,F2,T2) users/larswassermann/dec.e.lp:48:34-49: warning: atom is undefined: releases(E,F,T) users/larswassermann/dec.e.lp:35:35-50: warning: atom is undefined: releases(E,F,T)
Generated 10+ models in 0.1 s.
happens: (moveTo(9,1),0) (tick,0) (moveTo(9,2),1) (tick,1) holdsAt: (isOn(0,0),0) (isOn(1,0),0) (isOn(2,0),0) (isOn(3,0),0) (isOn(4,0),0) (isOn(5,0),0) (isOn(6,0),0) (isOn(7,0),0) (isOn(8,0),0) (isOn(9,0),0) (isOn(0,0),1) (isOn(1,0),1) (isOn(2,0),1) (isOn(3,0),1) (isOn(4,0),1) (isOn(5,0),1) (isOn(6,0),1) (isOn(7,0),1) (isOn(8,0),1) (isOn(9,1),1) incidentalState: (tileLetter(0,y)) (score(0,0)) (tileLetter(2,y)) (tileLetter(3,k)) (tileLetter(4,k)) (tileLetter(1,k)) (tileLetter(6,k)) (tileLetter(7,k)) (tileLetter(8,k)) (tileLetter(9,k)) (tileLetter(5,k)) place: (0) (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) score: (0,0) (0,1) tickingTime: (3000) tile: (0) (1) (2) (3) (4) (5) (6) (7) (8) (9) tileLetter: (0,y) (1,k) (2,y) (3,k) (4,k) (5,k) (6,k) (7,k) (8,k) (9,k) time: (0) (1) validKey: (enter) (z) (a) (b) (c) (d) (e) (f) (g) (h) (i) (j) (k) (l) (backspace) (n) (o) (p) (q) (r) (s) (t) (u) (v) (w) (x) (y) (m) verb: (type,keyboard)
happens: (moveTo(9,1),0) (tick,0) (moveTo(9,2),1) (tick,1) holdsAt: (isOn(0,0),0) (isOn(1,0),0) (isOn(2,0),0) (isOn(3,0),0) (isOn(4,0),0) (isOn(5,0),0) (isOn(6,0),0) (isOn(7,0),0) (isOn(8,0),0) (isOn(9,0),0) (isOn(0,0),1) (isOn(1,0),1) (isOn(2,0),1) (isOn(3,0),1) (isOn(4,0),1) (isOn(5,0),1) (isOn(6,0),1) (isOn(7,0),1) (isOn(8,0),1) (isOn(9,1),1) incidentalState: (tileLetter(0,y)) (score(0,0)) (tileLetter(2,w)) (tileLetter(3,k)) (tileLetter(4,k)) (tileLetter(1,k)) (tileLetter(6,k)) (tileLetter(7,k)) (tileLetter(8,k)) (tileLetter(9,k)) (tileLetter(5,k)) place: (0) (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) score: (0,0) (0,1) tickingTime: (3000) tile: (0) (1) (2) (3) (4) (5) (6) (7) (8) (9) tileLetter: (0,y) (1,k) (2,w) (3,k) (4,k) (5,k) (6,k) (7,k) (8,k) (9,k) time: (0) (1) validKey: (enter) (z) (a) (b) (c) (d) (e) (f) (g) (h) (i) (j) (k) (l) (backspace) (n) (o) (p) (q) (r) (s) (t) (u) (v) (w) (x) (y) (m) verb: (type,keyboard)
happens: (moveTo(9,1),0) (tick,0) (moveTo(9,2),1) (tick,1) holdsAt: (isOn(0,0),0) (isOn(1,0),0) (isOn(2,0),0) (isOn(3,0),0) (isOn(4,0),0) (isOn(5,0),0) (isOn(6,0),0) (isOn(7,0),0) (isOn(8,0),0) (isOn(9,0),0) (isOn(0,0),1) (isOn(1,0),1) (isOn(2,0),1) (isOn(3,0),1) (isOn(4,0),1) (isOn(5,0),1) (isOn(6,0),1) (isOn(7,0),1) (isOn(8,0),1) (isOn(9,1),1) incidentalState: (tileLetter(0,y)) (score(0,0)) (tileLetter(2,h)) (tileLetter(3,k)) (tileLetter(4,k)) (tileLetter(1,k)) (tileLetter(6,k)) (tileLetter(7,k)) (tileLetter(8,k)) (tileLetter(9,k)) (tileLetter(5,k)) place: (0) (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) score: (0,0) (0,1) tickingTime: (3000) tile: (0) (1) (2) (3) (4) (5) (6) (7) (8) (9) tileLetter: (0,y) (1,k) (2,h) (3,k) (4,k) (5,k) (6,k) (7,k) (8,k) (9,k) time: (0) (1) validKey: (enter) (z) (a) (b) (c) (d) (e) (f) (g) (h) (i) (j) (k) (l) (backspace) (n) (o) (p) (q) (r) (s) (t) (u) (v) (w) (x) (y) (m) verb: (type,keyboard)
happens: (moveTo(9,1),0) (tick,0) (moveTo(9,2),1) (tick,1) holdsAt: (isOn(0,0),0) (isOn(1,0),0) (isOn(2,0),0) (isOn(3,0),0) (isOn(4,0),0) (isOn(5,0),0) (isOn(6,0),0) (isOn(7,0),0) (isOn(8,0),0) (isOn(9,0),0) (isOn(0,0),1) (isOn(1,0),1) (isOn(2,0),1) (isOn(3,0),1) (isOn(4,0),1) (isOn(5,0),1) (isOn(6,0),1) (isOn(7,0),1) (isOn(8,0),1) (isOn(9,1),1) incidentalState: (tileLetter(0,y)) (score(0,0)) (tileLetter(2,f)) (tileLetter(3,k)) (tileLetter(4,k)) (tileLetter(1,k)) (tileLetter(6,k)) (tileLetter(7,k)) (tileLetter(8,k)) (tileLetter(9,k)) (tileLetter(5,k)) place: (0) (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) score: (0,0) (0,1) tickingTime: (3000) tile: (0) (1) (2) (3) (4) (5) (6) (7) (8) (9) tileLetter: (0,y) (1,k) (2,f) (3,k) (4,k) (5,k) (6,k) (7,k) (8,k) (9,k) time: (0) (1) validKey: (enter) (z) (a) (b) (c) (d) (e) (f) (g) (h) (i) (j) (k) (l) (backspace) (n) (o) (p) (q) (r) (s) (t) (u) (v) (w) (x) (y) (m) verb: (type,keyboard)
happens: (moveTo(9,1),0) (tick,0) (moveTo(9,2),1) (tick,1) holdsAt: (isOn(0,0),0) (isOn(1,0),0) (isOn(2,0),0) (isOn(3,0),0) (isOn(4,0),0) (isOn(5,0),0) (isOn(6,0),0) (isOn(7,0),0) (isOn(8,0),0) (isOn(9,0),0) (isOn(0,0),1) (isOn(1,0),1) (isOn(2,0),1) (isOn(3,0),1) (isOn(4,0),1) (isOn(5,0),1) (isOn(6,0),1) (isOn(7,0),1) (isOn(8,0),1) (isOn(9,1),1) incidentalState: (tileLetter(0,y)) (score(0,0)) (tileLetter(2,f)) (tileLetter(3,k)) (tileLetter(4,k)) (tileLetter(1,x)) (tileLetter(6,k)) (tileLetter(7,k)) (tileLetter(8,k)) (tileLetter(9,k)) (tileLetter(5,k)) place: (0) (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) score: (0,0) (0,1) tickingTime: (3000) tile: (0) (1) (2) (3) (4) (5) (6) (7) (8) (9) tileLetter: (0,y) (1,x) (2,f) (3,k) (4,k) (5,k) (6,k) (7,k) (8,k) (9,k) time: (0) (1) validKey: (enter) (z) (a) (b) (c) (d) (e) (f) (g) (h) (i) (j) (k) (l) (backspace) (n) (o) (p) (q) (r) (s) (t) (u) (v) (w) (x) (y) (m) verb: (type,keyboard)
happens: (moveTo(9,1),0) (tick,0) (moveTo(9,2),1) (tick,1) holdsAt: (isOn(0,0),0) (isOn(1,0),0) (isOn(2,0),0) (isOn(3,0),0) (isOn(4,0),0) (isOn(5,0),0) (isOn(6,0),0) (isOn(7,0),0) (isOn(8,0),0) (isOn(9,0),0) (isOn(0,0),1) (isOn(1,0),1) (isOn(2,0),1) (isOn(3,0),1) (isOn(4,0),1) (isOn(5,0),1) (isOn(6,0),1) (isOn(7,0),1) (isOn(8,0),1) (isOn(9,1),1) incidentalState: (tileLetter(0,y)) (score(0,0)) (tileLetter(2,f)) (tileLetter(3,k)) (tileLetter(4,k)) (tileLetter(1,j)) (tileLetter(6,k)) (tileLetter(7,k)) (tileLetter(8,k)) (tileLetter(9,k)) (tileLetter(5,k)) place: (0) (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) score: (0,0) (0,1) tickingTime: (3000) tile: (0) (1) (2) (3) (4) (5) (6) (7) (8) (9) tileLetter: (0,y) (1,j) (2,f) (3,k) (4,k) (5,k) (6,k) (7,k) (8,k) (9,k) time: (0) (1) validKey: (enter) (z) (a) (b) (c) (d) (e) (f) (g) (h) (i) (j) (k) (l) (backspace) (n) (o) (p) (q) (r) (s) (t) (u) (v) (w) (x) (y) (m) verb: (type,keyboard)
happens: (moveTo(9,1),0) (tick,0) (moveTo(9,2),1) (tick,1) holdsAt: (isOn(0,0),0) (isOn(1,0),0) (isOn(2,0),0) (isOn(3,0),0) (isOn(4,0),0) (isOn(5,0),0) (isOn(6,0),0) (isOn(7,0),0) (isOn(8,0),0) (isOn(9,0),0) (isOn(0,0),1) (isOn(1,0),1) (isOn(2,0),1) (isOn(3,0),1) (isOn(4,0),1) (isOn(5,0),1) (isOn(6,0),1) (isOn(7,0),1) (isOn(8,0),1) (isOn(9,1),1) incidentalState: (tileLetter(0,w)) (score(0,0)) (tileLetter(2,f)) (tileLetter(3,k)) (tileLetter(4,k)) (tileLetter(1,j)) (tileLetter(6,k)) (tileLetter(7,k)) (tileLetter(8,k)) (tileLetter(9,k)) (tileLetter(5,k)) place: (0) (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) score: (0,0) (0,1) tickingTime: (3000) tile: (0) (1) (2) (3) (4) (5) (6) (7) (8) (9) tileLetter: (0,w) (1,j) (2,f) (3,k) (4,k) (5,k) (6,k) (7,k) (8,k) (9,k) time: (0) (1) validKey: (enter) (z) (a) (b) (c) (d) (e) (f) (g) (h) (i) (j) (k) (l) (backspace) (n) (o) (p) (q) (r) (s) (t) (u) (v) (w) (x) (y) (m) verb: (type,keyboard)
happens: (moveTo(9,1),0) (tick,0) (moveTo(9,2),1) (tick,1) holdsAt: (isOn(0,0),0) (isOn(1,0),0) (isOn(2,0),0) (isOn(3,0),0) (isOn(4,0),0) (isOn(5,0),0) (isOn(6,0),0) (isOn(7,0),0) (isOn(8,0),0) (isOn(9,0),0) (isOn(0,0),1) (isOn(1,0),1) (isOn(2,0),1) (isOn(3,0),1) (isOn(4,0),1) (isOn(5,0),1) (isOn(6,0),1) (isOn(7,0),1) (isOn(8,0),1) (isOn(9,1),1) incidentalState: (tileLetter(0,w)) (score(0,0)) (tileLetter(2,f)) (tileLetter(3,k)) (tileLetter(4,k)) (tileLetter(1,j)) (tileLetter(6,k)) (tileLetter(7,y)) (tileLetter(8,k)) (tileLetter(9,k)) (tileLetter(5,k)) place: (0) (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) score: (0,0) (0,1) tickingTime: (3000) tile: (0) (1) (2) (3) (4) (5) (6) (7) (8) (9) tileLetter: (0,w) (1,j) (2,f) (3,k) (4,k) (5,k) (6,k) (7,y) (8,k) (9,k) time: (0) (1) validKey: (enter) (z) (a) (b) (c) (d) (e) (f) (g) (h) (i) (j) (k) (l) (backspace) (n) (o) (p) (q) (r) (s) (t) (u) (v) (w) (x) (y) (m) verb: (type,keyboard)
happens: (moveTo(9,1),0) (tick,0) (moveTo(9,2),1) (tick,1) holdsAt: (isOn(0,0),0) (isOn(1,0),0) (isOn(2,0),0) (isOn(3,0),0) (isOn(4,0),0) (isOn(5,0),0) (isOn(6,0),0) (isOn(7,0),0) (isOn(8,0),0) (isOn(9,0),0) (isOn(0,0),1) (isOn(1,0),1) (isOn(2,0),1) (isOn(3,0),1) (isOn(4,0),1) (isOn(5,0),1) (isOn(6,0),1) (isOn(7,0),1) (isOn(8,0),1) (isOn(9,1),1) incidentalState: (tileLetter(0,w)) (score(0,0)) (tileLetter(2,f)) (tileLetter(3,k)) (tileLetter(4,k)) (tileLetter(1,j)) (tileLetter(6,k)) (tileLetter(7,v)) (tileLetter(8,k)) (tileLetter(9,k)) (tileLetter(5,k)) place: (0) (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) score: (0,0) (0,1) tickingTime: (3000) tile: (0) (1) (2) (3) (4) (5) (6) (7) (8) (9) tileLetter: (0,w) (1,j) (2,f) (3,k) (4,k) (5,k) (6,k) (7,v) (8,k) (9,k) time: (0) (1) validKey: (enter) (z) (a) (b) (c) (d) (e) (f) (g) (h) (i) (j) (k) (l) (backspace) (n) (o) (p) (q) (r) (s) (t) (u) (v) (w) (x) (y) (m) verb: (type,keyboard)
happens: (moveTo(9,1),0) (tick,0) (moveTo(9,2),1) (tick,1) holdsAt: (isOn(0,0),0) (isOn(1,0),0) (isOn(2,0),0) (isOn(3,0),0) (isOn(4,0),0) (isOn(5,0),0) (isOn(6,0),0) (isOn(7,0),0) (isOn(8,0),0) (isOn(9,0),0) (isOn(0,0),1) (isOn(1,0),1) (isOn(2,0),1) (isOn(3,0),1) (isOn(4,0),1) (isOn(5,0),1) (isOn(6,0),1) (isOn(7,0),1) (isOn(8,0),1) (isOn(9,1),1) incidentalState: (tileLetter(0,w)) (score(0,0)) (tileLetter(2,f)) (tileLetter(3,k)) (tileLetter(4,k)) (tileLetter(1,j)) (tileLetter(6,k)) (tileLetter(7,h)) (tileLetter(8,k)) (tileLetter(9,k)) (tileLetter(5,k)) place: (0) (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) score: (0,0) (0,1) tickingTime: (3000) tile: (0) (1) (2) (3) (4) (5) (6) (7) (8) (9) tileLetter: (0,w) (1,j) (2,f) (3,k) (4,k) (5,k) (6,k) (7,h) (8,k) (9,k) time: (0) (1) validKey: (enter) (z) (a) (b) (c) (d) (e) (f) (g) (h) (i) (j) (k) (l) (backspace) (n) (o) (p) (q) (r) (s) (t) (u) (v) (w) (x) (y) (m) verb: (type,keyboard)
users/larswassermann/qbf_twostep.lp
stepping Viz