input1.pl

%|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|
%|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|
%|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|
%|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|
%|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|
%|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|
%|T|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|
%|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|
%|.|.|.|.|.|.|.|.|.|.|.|.|T|.|.|.|.|.|.|.|
%|H|.|.|.|.|.|.|.|.|.|H|.|.|.|.|.|.|.|.|.|
%|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|
%|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|
%|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|
%|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|
%|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|
%|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|
%|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|
%|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|
%|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|.|
%|.|.|.|.|.|.|.|.|.|.|H|.|.|T|.|.|.|.|.|.|
:- (discontiguous  human/2, touchdown/2, orc/2).

human(0, 10).
touchdown(0, 13).
human(10, 0).
human(10, 10).
touchdown(11, 12).
touchdown(13, 0).