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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
#include <stdio.h>
#include <string.h>
#define __GPROLOG_FOREIGN_STRICT__
#include "gprolog.h"
int player(char *algorithm, PlTerm *history, char *c, PlTerm *in, PlTerm *out)
{
PlTerm arg[4];
int func = Pl_Find_Atom(algorithm);
printf("player\n");
Pl_Query_Begin(PL_TRUE);
arg[0] = *history;
arg[1] = Pl_Mk_Variable();
arg[2] = *in;
arg[3] = Pl_Mk_Variable();
if (Pl_Query_Call(func, 3, arg)) {
printf("read char\n");
move = Pl_Rd_Char_Check(arg[1]);
move = Pl_Rd_List_Check(arg[3]);
}
printf("end\n");
Pl_Query_End(PL_RECOVER);
return 0;
}
int pay(char a, char b)
{
int payment = -1;
PlTerm arg[3];
int func = Pl_Find_Atom("pay");
Pl_Query_Begin(PL_TRUE);
arg[0] = Pl_Mk_Char(a);
arg[1] = Pl_Mk_Char(b);
arg[2] = Pl_Mk_Variable();
if (Pl_Query_Call(func, 3, arg)) {
payment = Pl_Rd_Integer(arg[2]);
}
Pl_Query_End(PL_RECOVER);
return payment;
}
int
main(int argc, char *argv[])
{
Pl_Start_Prolog(argc, argv);
printf("pay: %d\n", pay('d', 'c'));
PlTerm history = Pl_Mk_List(NULL);
PlTerm in = Pl_Mk_List(NULL);
PlTerm out = Pl_Mk_List(NULL);
printf("move: %c\n", player("tit4tat", &history, &in, &out));
Pl_Stop_Prolog();
return 0;
}
|
