詰める([], []).
詰める(['.', i | Xs], [i | Zs]) :- 詰める(['.' | Xs], Zs).
詰める(['.', 'P' | Xs], ['.', 'P' | Zs]) :- 詰める(Xs, Zs).
詰める(['.', '.' | Xs], ['.' | Zs]) :- 詰める(['.' | Xs], Zs).
詰める(['.'], ['.']).
詰める([i | Xs], [i | Zs]) :- 詰める(Xs, Zs).
詰める(['P' | Xs], ['P' | Zs]) :- 詰める(Xs, Zs).
?- atom_chars('iiiii.i..ii...Pii..i...Piiii....', Line1
), 詰める(Line2, Line1),
6Kmw44KB44KLKFtdLCBbXSkuCuipsOOCgeOCiyhbJy4nLCBpIHwgWHNdLCBbaSB8IFpzXSkgOi0g6Kmw44KB44KLKFsnLicgfCBYc10sIFpzKS4K6Kmw44KB44KLKFsnLicsICdQJyB8IFhzXSwgWycuJywgJ1AnIHwgWnNdKSA6LSDoqbDjgoHjgosoWHMsIFpzKS4K6Kmw44KB44KLKFsnLicsICcuJyB8IFhzXSwgWycuJyB8IFpzXSkgOi0g6Kmw44KB44KLKFsnLicgfCBYc10sIFpzKS4K6Kmw44KB44KLKFsnLiddLCBbJy4nXSkuCuipsOOCgeOCiyhbaSB8IFhzXSwgW2kgfCBac10pIDotIOipsOOCgeOCiyhYcywgWnMpLgroqbDjgoHjgosoWydQJyB8IFhzXSwgWydQJyB8IFpzXSkgOi0g6Kmw44KB44KLKFhzLCBacykuCgo/LQlhdG9tX2NoYXJzKCdpaWlpaS5pLi5paS4uLlBpaS4uaS4uLlBpaWlpLi4uLicsIExpbmUxKSwKCeipsOOCgeOCiyhMaW5lMiwgTGluZTEpLAoJYXRvbV9jaGFycyhSZXN1bHQsIExpbmUyKSwKCXByaW50KFJlc3VsdCksIG5sLAoJZmFpbC4K
.iiiii.i..ii..P.ii..i..P.iiii...
.iiiii.i..ii..P.ii..i..Pi.iii...
.iiiii.i..ii..P.ii..i..Pii.ii...
.iiiii.i..ii..P.ii..i..Piii.i...
.iiiii.i..ii..P.ii..i..Piiii....
.iiiii.i..ii..Pi.i..i..P.iiii...
.iiiii.i..ii..Pi.i..i..Pi.iii...
.iiiii.i..ii..Pi.i..i..Pii.ii...
.iiiii.i..ii..Pi.i..i..Piii.i...
.iiiii.i..ii..Pi.i..i..Piiii....
.iiiii.i..ii..Pii...i..P.iiii...
.iiiii.i..ii..Pii...i..Pi.iii...
.iiiii.i..ii..Pii...i..Pii.ii...
.iiiii.i..ii..Pii...i..Piii.i...
.iiiii.i..ii..Pii...i..Piiii....
i.iiii.i..ii..P.ii..i..P.iiii...
i.iiii.i..ii..P.ii..i..Pi.iii...
i.iiii.i..ii..P.ii..i..Pii.ii...
i.iiii.i..ii..P.ii..i..Piii.i...
i.iiii.i..ii..P.ii..i..Piiii....
i.iiii.i..ii..Pi.i..i..P.iiii...
i.iiii.i..ii..Pi.i..i..Pi.iii...
i.iiii.i..ii..Pi.i..i..Pii.ii...
i.iiii.i..ii..Pi.i..i..Piii.i...
i.iiii.i..ii..Pi.i..i..Piiii....
i.iiii.i..ii..Pii...i..P.iiii...
i.iiii.i..ii..Pii...i..Pi.iii...
i.iiii.i..ii..Pii...i..Pii.ii...
i.iiii.i..ii..Pii...i..Piii.i...
i.iiii.i..ii..Pii...i..Piiii....
ii.iii.i..ii..P.ii..i..P.iiii...
ii.iii.i..ii..P.ii..i..Pi.iii...
ii.iii.i..ii..P.ii..i..Pii.ii...
ii.iii.i..ii..P.ii..i..Piii.i...
ii.iii.i..ii..P.ii..i..Piiii....
ii.iii.i..ii..Pi.i..i..P.iiii...
ii.iii.i..ii..Pi.i..i..Pi.iii...
ii.iii.i..ii..Pi.i..i..Pii.ii...
ii.iii.i..ii..Pi.i..i..Piii.i...
ii.iii.i..ii..Pi.i..i..Piiii....
ii.iii.i..ii..Pii...i..P.iiii...
ii.iii.i..ii..Pii...i..Pi.iii...
ii.iii.i..ii..Pii...i..Pii.ii...
ii.iii.i..ii..Pii...i..Piii.i...
ii.iii.i..ii..Pii...i..Piiii....
iii.ii.i..ii..P.ii..i..P.iiii...
iii.ii.i..ii..P.ii..i..Pi.iii...
iii.ii.i..ii..P.ii..i..Pii.ii...
iii.ii.i..ii..P.ii..i..Piii.i...
iii.ii.i..ii..P.ii..i..Piiii....
iii.ii.i..ii..Pi.i..i..P.iiii...
iii.ii.i..ii..Pi.i..i..Pi.iii...
iii.ii.i..ii..Pi.i..i..Pii.ii...
iii.ii.i..ii..Pi.i..i..Piii.i...
iii.ii.i..ii..Pi.i..i..Piiii....
iii.ii.i..ii..Pii...i..P.iiii...
iii.ii.i..ii..Pii...i..Pi.iii...
iii.ii.i..ii..Pii...i..Pii.ii...
iii.ii.i..ii..Pii...i..Piii.i...
iii.ii.i..ii..Pii...i..Piiii....
iiii.i.i..ii..P.ii..i..P.iiii...
iiii.i.i..ii..P.ii..i..Pi.iii...
iiii.i.i..ii..P.ii..i..Pii.ii...
iiii.i.i..ii..P.ii..i..Piii.i...
iiii.i.i..ii..P.ii..i..Piiii....
iiii.i.i..ii..Pi.i..i..P.iiii...
iiii.i.i..ii..Pi.i..i..Pi.iii...
iiii.i.i..ii..Pi.i..i..Pii.ii...
iiii.i.i..ii..Pi.i..i..Piii.i...
iiii.i.i..ii..Pi.i..i..Piiii....
iiii.i.i..ii..Pii...i..P.iiii...
iiii.i.i..ii..Pii...i..Pi.iii...
iiii.i.i..ii..Pii...i..Pii.ii...
iiii.i.i..ii..Pii...i..Piii.i...
iiii.i.i..ii..Pii...i..Piiii....
iiiii..i..ii..P.ii..i..P.iiii...
iiiii..i..ii..P.ii..i..Pi.iii...
iiiii..i..ii..P.ii..i..Pii.ii...
iiiii..i..ii..P.ii..i..Piii.i...
iiiii..i..ii..P.ii..i..Piiii....
iiiii..i..ii..Pi.i..i..P.iiii...
iiiii..i..ii..Pi.i..i..Pi.iii...
iiiii..i..ii..Pi.i..i..Pii.ii...
iiiii..i..ii..Pi.i..i..Piii.i...
iiiii..i..ii..Pi.i..i..Piiii....
iiiii..i..ii..Pii...i..P.iiii...
iiiii..i..ii..Pii...i..Pi.iii...
iiiii..i..ii..Pii...i..Pii.ii...
iiiii..i..ii..Pii...i..Piii.i...
iiiii..i..ii..Pii...i..Piiii....
Warning: /home/Cnb3QX/prog.pl:9:
Goal (directive) failed: user: (atom_chars(iiiii.i..ii...Pii..i...Piiii...., _G358), 詰める(_G360, _G358), atom_chars(_G363, _G360), print(_G363), nl, fail)