add(o,N,N).
add(s(N),M,s(NM)) :- add(N,M,NM).

mobile(s(Gewicht),fisch(s(Gewicht))).
mobile(s(Summe),bruecke(Links,Rechts)) :-
	add(Gewicht,Gewicht,Summe),
	mobile(Gewicht,Links), mobile(Gewicht,Rechts).