input7.pl

%|.|.|O|O|.|.|.|.|.|O|.|.|.|.|.|.|.|.|.|.|
%|O|.|.|.|.|.|.|.|.|O|.|.|.|.|.|.|.|.|.|.|
%|.|O|.|.|.|.|.|.|.|O|.|.|.|.|.|.|.|.|.|O|
%|.|.|O|.|.|.|.|.|.|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|O|O|O|O|O|O|O|O|O|O|
%|.|.|.|O|.|.|T|.|.|O|.|.|.|.|T|.|.|.|.|O|
%|.|.|.|.|.|.|.|.|.|T|.|.|.|.|.|.|.|.|.|.|
%|.|T|.|.|.|.|.|.|.|O|.|.|.|.|T|.|.|.|.|.|
%|.|.|.|.|.|O|.|.|O|O|.|.|.|.|.|.|.|.|.|.|
%|.|.|.|.|.|T|.|.|.|O|.|.|.|.|.|.|.|.|.|.|
%|.|O|.|.|.|.|H|.|.|O|.|.|.|.|.|.|.|.|.|.|
%|.|.|.|.|.|.|.|.|.|O|T|.|T|.|T|.|.|.|.|.|
%|.|.|.|.|.|O|.|H|T|O|.|.|.|O|.|.|.|.|T|.|
%|.|T|.|.|.|.|H|.|.|O|.|.|.|H|.|.|.|.|.|.|
:- (discontiguous  human/2, touchdown/2, orc/2).

touchdown(0, 1).
human(0, 6).
orc(0, 9).
human(0, 13).
orc(1, 5).
human(1, 7).
touchdown(1, 8).
orc(1, 9).
orc(1, 13).
touchdown(1, 18).
orc(2, 9).
touchdown(2, 10).
touchdown(2, 12).
touchdown(2, 14).
orc(3, 1).
human(3, 6).
orc(3, 9).
touchdown(4, 5).
orc(4, 9).
orc(5, 5).
orc(5, 8).
orc(5, 9).
touchdown(6, 1).
orc(6, 9).
touchdown(6, 14).
touchdown(7, 9).
orc(8, 3).
touchdown(8, 6).
orc(8, 9).
touchdown(8, 14).
orc(8, 19).
orc(9, 0).
orc(9, 1).
orc(9, 2).
orc(9, 3).
orc(9, 4).
orc(9, 5).
orc(9, 6).
orc(9, 7).
orc(9, 8).
orc(9, 9).
orc(9, 10).
orc(9, 11).
orc(9, 12).
orc(9, 13).
orc(9, 14).
orc(9, 15).
orc(9, 16).
orc(9, 17).
orc(9, 18).
orc(9, 19).
orc(10, 9).
orc(10, 15).
touchdown(11, 0).
orc(11, 6).
orc(11, 8).
orc(11, 9).
orc(11, 19).
orc(12, 9).
orc(12, 12).
orc(13, 6).
orc(13, 9).
orc(14, 5).
orc(14, 9).
orc(15, 7).
orc(15, 9).
orc(16, 2).
orc(16, 9).
orc(17, 1).
orc(17, 9).
orc(17, 19).
orc(18, 0).
orc(18, 9).
orc(19, 2).
orc(19, 3).
orc(19, 9).