2-APL UPC project.
added cardDealt
+35
-23
+1
code/2apl_platform/briscola_chiamata/dealer.2apl
+1
code/2apl_platform/briscola_chiamata/dealer.2apl
+27
-16
code/2apl_platform/briscola_chiamata/notary.2apl
+27
-16
code/2apl_platform/briscola_chiamata/notary.2apl
···
10
10
Beliefs:
11
11
gatekeeper(gk). /* we know who the gatekeeper is, for simplicity */
12
12
dealer(d).
13
-
currentturn(-1). /* the first turn is for the agent in postion 0 */
13
+
currentturn(0). /* the first turn is for the agent in postion 0 */
14
14
15
-
getpoints(jack, X) :- X is 2
16
-
getpoints(queen, X) :- X is 3
17
-
getpoints(king, X) :- X is 4
18
-
getpoints(three, X) :- X is 10
19
-
getpoints(ace, X) :- X is 11
15
+
getpoints(jack, X) :- X is 2.
16
+
getpoints(queen, X) :- X is 3.
17
+
getpoints(king, X) :- X is 4.
18
+
getpoints(three, X) :- X is 10.
19
+
getpoints(ace, X) :- X is 11.
20
+
getpoints(Y, X) :- X is 0.
20
21
21
22
Plans:
22
23
@cardtable(enterAsNotary()) /* join the game as notary */
···
128
129
*/
129
130
selectturn() <- currentturn(X) |
130
131
{
131
-
if B( X = 4 ) then
132
+
if B( X = 5 ) then
132
133
{
133
134
RemoveTrun(X);
134
135
UpdateTrun(0);
···
138
139
}
139
140
else
140
141
{
142
+
B( assigned(X, P));
143
+
send(P, inform, yourturn(X));
141
144
RemoveTrun(X);
142
-
UpdateTrun(X + 1);
143
-
B( assigned(X + 1, P));
144
-
send(P, inform, yourturn(X + 1))
145
+
UpdateTrun(X + 1)
145
146
}
146
147
}
147
148
···
155
156
countpoints() <- true |
156
157
{
157
158
B( assigned(0, P0));
158
-
B( cardontable(S0, R0, P0) and getpoints(S0, X0));
159
+
B( cardontable(S0, R0, P0));
160
+
B( getpoints(S0, X0));
159
161
send(P0, inform, yourscore(X0));
162
+
@cardtable(updateScore(P0, X0));
160
163
B( assigned(1, P1));
161
-
B( cardontable(S1, R1, P1) and getpoints(S1, X1));
164
+
B( cardontable(S1, R1, P1));
165
+
B( getpoints(S1, X1));
162
166
send(P1, inform, yourscore(X1));
167
+
@cardtable(updateScore(P1, X1));
163
168
B( assigned(2, P2));
164
-
B( cardontable(S2, R2, P2) and getpoints(S2, X2));
169
+
B( cardontable(S2, R2, P2));
170
+
B( getpoints(S2, X2));
165
171
send(P2, inform, yourscore(X2));
172
+
@cardtable(updateScore(P2, X2));
166
173
B( assigned(3, P3));
167
-
B( cardontable(S3, R3, P3) and getpoints(S3, X3));
174
+
B( cardontable(S3, R3, P3));
175
+
B( getpoints(S3, X3));
168
176
send(P3, inform, yourscore(X3));
177
+
@cardtable(updateScore(P3, X3));
169
178
B( assigned(4, P4));
170
-
B( cardontable(S4, R4, P4) and getpoints(S4, X4));
171
-
send(P4, inform, yourscore(X4))
179
+
B( cardontable(S4, R4, P4));
180
+
B( getpoints(S4, X4));
181
+
send(P4, inform, yourscore(X4));
182
+
@cardtable(updateScore(P4, X4))
172
183
}
+7
-7
code/2apl_platform/briscola_chiamata/player.2apl
+7
-7
code/2apl_platform/briscola_chiamata/player.2apl
···
28
28
deletehandcard(R, S, [R, S|T], T).
29
29
deletehandcard(R, S, [X, Y|T], [H|T1]):- deletehandcard(R, S, T, T1).
30
30
31
-
getpoints(jack, X) :- X is 2
32
-
getpoints(queen, X) :- X is 3
33
-
getpoints(king, X) :- X is 4
34
-
getpoints(three, X) :- X is 10
35
-
getpoints(ace, X) :- X is 11
31
+
getpoints(jack, X) :- X is 2.
32
+
getpoints(queen, X) :- X is 3.
33
+
getpoints(king, X) :- X is 4.
34
+
getpoints(three, X) :- X is 10.
35
+
getpoints(ace, X) :- X is 11.
36
+
getpoints(Y, X) :- X is 0.
36
37
37
38
Plans:
38
39
[ B(gatekeeper(X)) ; send(X, request, register(me)) ]
···
218
219
219
220
message(n, inform, _, _, yourscore(Y)) <- true |
220
221
{
221
-
B( assigned(Pos, Me) );
222
-
@cardtable(updateScore(Me, Y))
222
+
skip
223
223
}
224
224
225
225
endround() <- hand([]) |