Hjælp til forståelse af en rekursiv funktion

Du skal ikke tænke i funktionskald, men i lister

    sum_to ( N1, Res1 ),

er en liste med 2 elementer, hvor andet element igen er en liste med 2 elementer

når prolog møder den linie kikker den på sine sum_to definitioner.
Hvis N1 har værdien 1 macher den første definition pg Res1 får derfor værdien 1.
Hvis N1 har en anden værdi er det den anden definition der matcher og N bliver lat een ned før den prøver igen (rekursivt indtil N1 == 1)
og på vej ud af rekursionen bliver alle de andre N værdier har haft lagt til og det endelige resultat afleveres i Res.

Altså det du ser som 'anden parameter' er slet ikke en parameter, det er funktionens resultat.

mvh JakobA

Ups.  'lat een ned'  ->  'talt een ned'

gider du skrive et svar :-)

ok