plat(N,E,P).
plat(1,b,[b]).
plat(2,c,[c,c]).
plat(3,d,[d,d,d]).

plat(1,X,[X]).
plat(2,X,[X,X]).

