This is a hint (Hinweis) text of GUPU taken literally from the system. It's probably not very interesting reading for you.
**NEXT:To continue the guided tour go back where You came from
**NEXT:Continue reading the hints in German (...)

Dieser Hinweis ist aus der Übung im WS 1994/95 oder aus einer noch älteren Übung oder war nie Teil einer Übung und ist daher möglicherweise für spätere Übungen nicht gültig!

Schnell zurück: \hinweis{longpe}

So etwas kann man doch als ätzend bezeichnen?

summanden_anzahl_summe(A, 6, s(s(s(0)))) :-
	summanden_anzahl_summe1(A).

% summanden_anzahl_summe1(A):-summanden_anzahl_summe(A,6,s(s(s(0))))
summanden_anzahl_summe1([0,A,B,C,D,E]) :-
	'summanden_summe.1'(A, B, C, D, E).
summanden_anzahl_summe1([s(0),A,B,C,D,E]) :-
	'summanden_summe.2'(A, B, C, D, E).
summanden_anzahl_summe1([s(s(0)),0,0,0,0,s(0)]).
summanden_anzahl_summe1([s(s(0)),0,0,0,s(0),0]).
summanden_anzahl_summe1([s(s(0)),0,0,s(0),0,0]).
summanden_anzahl_summe1([s(s(0)),0,s(0),0,0,0]).
summanden_anzahl_summe1([s(s(0)),s(0),0,0,0,0]).
summanden_anzahl_summe1([s(s(s(0))),0,0,0,0,0]).

% 'summanden_summe.1'(A,B,C,D,E):-summanden_summe([A,B,C,D,E],s(s(s(0))))
'summanden_summe.1'(0, A, B, C, D) :-
	'summanden_summe.1'(A, B, C, D).
'summanden_summe.1'(s(0), 0, 0, 0, s(s(0))).
'summanden_summe.1'(s(0), 0, 0, s(0), s(0)).
'summanden_summe.1'(s(0), 0, 0, s(s(0)), 0).
'summanden_summe.1'(s(0), 0, s(0), 0, s(0)).
'summanden_summe.1'(s(0), 0, s(0), s(0), 0).
'summanden_summe.1'(s(0), 0, s(s(0)), 0, 0).
'summanden_summe.1'(s(0), s(0), 0, 0, s(0)).
'summanden_summe.1'(s(0), s(0), 0, s(0), 0).
'summanden_summe.1'(s(0), s(0), s(0), 0, 0).
'summanden_summe.1'(s(0), s(s(0)), 0, 0, 0).
'summanden_summe.1'(s(s(0)), 0, 0, 0, s(0)).
'summanden_summe.1'(s(s(0)), 0, 0, s(0), 0).
'summanden_summe.1'(s(s(0)), 0, s(0), 0, 0).
'summanden_summe.1'(s(s(0)), s(0), 0, 0, 0).
'summanden_summe.1'(s(s(s(0))), 0, 0, 0, 0).

% 'summanden_summe.1'(A,B,C,D):-summanden_summe([A,B,C,D],s(s(s(0))))
'summanden_summe.1'(0, 0, 0, s(s(s(0)))).
'summanden_summe.1'(0, 0, s(0), s(s(0))).
'summanden_summe.1'(0, 0, s(s(0)), s(0)).
'summanden_summe.1'(0, 0, s(s(s(0))), 0).
'summanden_summe.1'(0, s(0), 0, s(s(0))).
'summanden_summe.1'(0, s(0), s(0), s(0)).
'summanden_summe.1'(0, s(0), s(s(0)), 0).
'summanden_summe.1'(0, s(s(0)), 0, s(0)).
'summanden_summe.1'(0, s(s(0)), s(0), 0).
'summanden_summe.1'(0, s(s(s(0))), 0, 0).
'summanden_summe.1'(s(0), 0, 0, s(s(0))).
'summanden_summe.1'(s(0), 0, s(0), s(0)).
'summanden_summe.1'(s(0), 0, s(s(0)), 0).
'summanden_summe.1'(s(0), s(0), 0, s(0)).
'summanden_summe.1'(s(0), s(0), s(0), 0).
'summanden_summe.1'(s(0), s(s(0)), 0, 0).
'summanden_summe.1'(s(s(0)), 0, 0, s(0)).
'summanden_summe.1'(s(s(0)), 0, s(0), 0).
'summanden_summe.1'(s(s(0)), s(0), 0, 0).
'summanden_summe.1'(s(s(s(0))), 0, 0, 0).

% 'summanden_summe.2'(A,B,C,D,E):-summanden_summe([A,B,C,D,E],s(s(0)))
'summanden_summe.2'(0, 0, 0, 0, s(s(0))).
'summanden_summe.2'(0, 0, 0, s(0), s(0)).
'summanden_summe.2'(0, 0, 0, s(s(0)), 0).
'summanden_summe.2'(0, 0, s(0), 0, s(0)).
'summanden_summe.2'(0, 0, s(0), s(0), 0).
'summanden_summe.2'(0, 0, s(s(0)), 0, 0).
'summanden_summe.2'(0, s(0), 0, 0, s(0)).
'summanden_summe.2'(0, s(0), 0, s(0), 0).
'summanden_summe.2'(0, s(0), s(0), 0, 0).
'summanden_summe.2'(0, s(s(0)), 0, 0, 0).
'summanden_summe.2'(s(0), 0, 0, 0, s(0)).
'summanden_summe.2'(s(0), 0, 0, s(0), 0).
'summanden_summe.2'(s(0), 0, s(0), 0, 0).
'summanden_summe.2'(s(0), s(0), 0, 0, 0).
'summanden_summe.2'(s(s(0)), 0, 0, 0, 0).

Zurück: \hinweis{longpe}
**NEXT:To continue the guided tour go back where You came from
**NEXT:Continue reading the hints in German