lachen(In) :- lachen(1, In). lachen(1, [h|RestIn]) :- lachen(2, RestIn). lachen(2, [a|RestIn]) :- lachen(3, RestIn). lachen(3, [h|RestIn]) :- lachen(2, RestIn). lachen(3, [!]).