Funktionen und Prozeduren abstrahieren komplexe Ausdrücke beziehungsweise Anweisungsfolgen und erlauben es dadurch, Algorithmen zu implementieren und wiederzuverwenden. Komplexe Algorithmen können so auf Basis einfacherer Algorithmen implementiert werden, indem erstere letztere in Ihrer Definition verwenden.
Bei der Definition von Funktionen und Prozeduren können jedoch nicht nur bereits definierte (potenziell einfachere) Funktionen und Prozeduren verwendet werden sondern auch die gerade definierte Funktion oder Prozedur selbst. Der Rückgriff einer Funktion oder Prozedur auf sich selbst in ihrer Implementierung heißt Rekursion.