هو تقنية برمجية حيث تقوم الدالة باستدعاء نفسها لحل مشكلة أصغر.
يستخدم في التعامل مع الهياكل الشجرية والبحث ولكنه يتطلب شرط توقف لتجنب التكرار اللانهائي.