-
Notifications
You must be signed in to change notification settings - Fork 0
/
input12.pl
90 lines (89 loc) · 1.71 KB
/
input12.pl
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
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
%|.|H|.|.|O|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|
%|.|.|.|.|O|.|.|.|.|.|.|.|H|.|.|H|O|.|.|.|
%|O|.|.|.|O|.|.|.|.|.|.|.|O|.|.|.|.|.|.|.|
%|.|.|.|.|O|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|
%|.|.|.|.|O|.|.|.|.|.|.|.|.|.|O|.|.|.|.|.|
%|.|.|.|.|O|H|.|.|.|.|.|.|.|.|.|.|.|.|.|.|
%|.|.|.|.|O|.|.|.|.|H|.|.|.|.|H|.|.|O|.|.|
%|.|.|.|.|O|.|.|.|.|.|.|.|.|.|T|.|.|O|.|.|
%|.|.|.|.|O|.|.|.|O|.|.|.|.|.|.|.|.|.|.|.|
%|.|.|.|.|O|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|
%|O|.|.|.|O|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|
%|.|.|.|.|O|.|.|.|.|.|.|.|.|.|.|.|.|O|.|.|
%|.|.|.|O|O|.|.|.|.|.|.|.|.|.|.|.|.|.|T|.|
%|.|.|.|.|O|.|.|.|.|.|.|.|.|.|.|.|.|.|O|.|
%|.|.|.|.|O|.|.|.|.|.|.|O|.|.|.|.|.|.|.|.|
%|O|O|O|O|O|T|O|O|O|O|O|O|O|O|O|O|O|O|O|O|
%|.|.|.|O|O|.|.|.|.|.|.|.|.|.|.|.|.|.|H|.|
%|.|.|.|.|O|.|.|O|.|.|H|.|.|.|.|.|.|.|.|.|
%|.|.|.|O|O|O|.|.|.|.|.|.|.|.|.|.|.|.|.|.|
%|.|.|.|.|O|.|.|H|.|.|.|.|O|.|.|H|.|.|.|.|
:- (discontiguous human/2, touchdown/2, orc/2).
orc(0, 4).
human(0, 7).
orc(0, 12).
human(0, 15).
orc(1, 3).
orc(1, 4).
orc(1, 5).
orc(2, 4).
orc(2, 7).
human(2, 10).
orc(3, 3).
orc(3, 4).
human(3, 18).
orc(4, 0).
orc(4, 1).
orc(4, 2).
orc(4, 3).
orc(4, 4).
touchdown(4, 5).
orc(4, 6).
orc(4, 7).
orc(4, 8).
orc(4, 9).
orc(4, 10).
orc(4, 11).
orc(4, 12).
orc(4, 13).
orc(4, 14).
orc(4, 15).
orc(4, 16).
orc(4, 17).
orc(4, 18).
orc(4, 19).
orc(5, 4).
orc(5, 11).
orc(6, 4).
orc(6, 18).
orc(7, 3).
orc(7, 4).
touchdown(7, 18).
orc(8, 4).
orc(8, 17).
orc(9, 0).
orc(9, 4).
orc(10, 4).
orc(11, 4).
orc(11, 8).
orc(12, 4).
touchdown(12, 14).
orc(12, 17).
orc(13, 4).
human(13, 9).
human(13, 14).
orc(13, 17).
orc(14, 4).
human(14, 5).
orc(15, 4).
orc(15, 14).
orc(16, 4).
orc(17, 0).
orc(17, 4).
orc(17, 12).
orc(18, 4).
human(18, 12).
human(18, 15).
orc(18, 16).
human(19, 1).
orc(19, 4).