[Prolog] Produktsumme zweiter Listen

Beginner

Monday, November 23rd 2009, 12:59pm

[Prolog] Produktsumme zweiter Listen

Guten Tag zusammen,

ich bin Prolog Anfänger und brauche einmal bitte Unterstützung. Ich muss eine Übungsaufgabe für die FH lösen die folgendermaßen lautet:

Schreiben Sie ein Prolog Programm, dass die Summe aller paarweise Produkte zweier Listen berechnet. Es sind die Listen X und Y gegeben. Das Prolog Programm soll dann die Summe N SUMME xi * yi i=1 berechnen wobei xi i-te Element der Liste X ist. Was passiert wenn die Listen nicht gleich lang sind?
Hier mal mein Ansatz:

	Source code
1 2	sp([],[],S). sp([X\|R1],[Y\|R2],S):- M is X*Y, S is S+M, sp([R1],[R2],S).

Rekursionsabbruch soll also die leere Liste sein. X * Y wird berechnet und dann die summe gebildet und der Kopf der Liste abgeschnitten. Das Programm funktioniert nicht, ich denke die Zwischensummern werden nicht richtig übergeben???

VIelen Dank

SeBa

Master

Posts: 1,134

Monday, November 23rd 2009, 10:09pm

Was heißt funktioniert nicht. Wie sah der Aufruf aus? Benutzt du SWI-Prolog? Wenn ja hast du da mal den Debugger verwendet? Du brauchst außerdem noch zwei weitere Regeln falls jeweils nur eine der beiden Listen leer ist.

ragnar

Beginner

Posts: 2

Monday, November 23rd 2009, 10:44pm

Ja ich nutze SWI Prolog. Als Aufruf habe ich z.b. sp([1,2],[3,4],X). probiert und erhalte ein false. Habe wohl irgendwo einen Denkfehler. Als Ergebnis sollte ja dann in dem Beispiel 11 rauskommen. Nicht gleichlange Listen hab ich noch nicht beachtet

SeBa

Master

Posts: 1,134

Saturday, December 12th 2009, 8:05pm

Sorry hab den Thread nicht mehr auf dem Zettel gehabr. Wahrscheinlich ist es jetzt schon zu spät, aber vielleicht hilft es ja doch noch ein wenig. Die Lösung müsste so aussehen

	Source code
1 2	sp([],[],0). sp([X\|R1],[Y\|R2],S):- sp(R1,R2,S1),M is X*Y, S is S1+M.

Der Rekursionsabbruch muss etwas geändert werden, damit beim letzten Aufruf S mit 0 unifiziert wird. Außerdem sind R1 & R2 schon Listen, du darfst also keine [eckige Klammern] darum machen. Außerdem hab ich den Aufruf von sp nach vorne und S1 als zusätzliche Variable eingeführt, damit das Problem mit den noch nicht instanziierten Variablen nicht auftritt. Was noch fehlt sind die Regel(n) für ungleich lange Listen.