%takeout(_, [], []). takeout(Item, [Item | L], L). takeout(Item, [X | L], [X | L1]) :- takeout(Item, L, L1).