-
Notifications
You must be signed in to change notification settings - Fork 0
/
input10.pl
91 lines (90 loc) · 1.75 KB
/
input10.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
91
%|.|.|.|O|.|O|.|.|.|.|.|.|.|.|.|.|O|.|.|.|
%|.|.|.|.|.|.|.|.|.|.|.|.|.|O|.|.|O|.|.|.|
%|.|.|.|.|.|.|.|.|.|.|O|T|.|H|.|.|O|.|.|.|
%|O|O|O|O|O|O|O|O|O|O|O|O|O|O|O|O|O|O|O|O|
%|.|.|.|.|.|.|.|.|O|.|.|.|.|.|.|.|O|.|.|.|
%|.|.|.|.|.|.|O|.|.|.|.|O|.|.|.|.|O|.|.|.|
%|.|.|O|.|.|.|H|.|.|.|.|.|.|.|.|.|O|.|.|.|
%|.|.|.|.|.|.|.|.|O|.|.|.|.|.|.|.|O|.|.|.|
%|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|O|.|.|.|
%|.|.|.|.|.|.|.|.|.|.|.|.|O|.|.|.|O|.|.|O|
%|.|.|.|.|.|.|.|O|H|.|.|.|O|.|.|.|O|.|.|.|
%|.|.|.|.|.|.|.|.|.|.|.|T|.|.|.|.|O|.|.|.|
%|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|O|.|.|O|
%|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|O|.|.|.|
%|.|.|.|H|.|.|.|.|.|.|.|.|.|.|.|.|O|.|.|.|
%|.|.|.|.|O|T|.|O|O|T|.|.|.|H|.|.|O|.|.|.|
%|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|O|.|.|.|
%|.|.|.|.|.|.|.|O|.|.|.|.|.|.|.|.|O|.|.|.|
%|.|.|H|.|.|O|.|.|.|.|.|.|.|.|.|.|O|.|.|.|
%|.|.|.|.|.|.|.|.|.|.|.|.|.|H|.|.|O|.|.|.|
:- (discontiguous human/2, touchdown/2, orc/2).
human(0, 13).
orc(0, 16).
human(1, 2).
orc(1, 5).
orc(1, 16).
orc(2, 7).
orc(2, 16).
orc(3, 16).
orc(4, 4).
touchdown(4, 5).
orc(4, 7).
orc(4, 8).
touchdown(4, 9).
human(4, 13).
orc(4, 16).
human(5, 3).
orc(5, 16).
orc(6, 16).
orc(7, 16).
orc(7, 19).
touchdown(8, 11).
orc(8, 16).
orc(9, 7).
human(9, 8).
orc(9, 12).
orc(9, 16).
orc(10, 12).
orc(10, 16).
orc(10, 19).
orc(11, 16).
orc(12, 8).
orc(12, 16).
orc(13, 2).
human(13, 6).
orc(13, 16).
orc(14, 6).
orc(14, 11).
orc(14, 16).
orc(15, 8).
orc(15, 16).
orc(16, 0).
orc(16, 1).
orc(16, 2).
orc(16, 3).
orc(16, 4).
orc(16, 5).
orc(16, 6).
orc(16, 7).
orc(16, 8).
orc(16, 9).
orc(16, 10).
orc(16, 11).
orc(16, 12).
orc(16, 13).
orc(16, 14).
orc(16, 15).
orc(16, 16).
orc(16, 17).
orc(16, 18).
orc(16, 19).
orc(17, 10).
touchdown(17, 11).
human(17, 13).
orc(17, 16).
orc(18, 13).
orc(18, 16).
orc(19, 3).
orc(19, 5).
orc(19, 16).