לולאה (אנגלית: Loop) היא טכניקת תכנות המשמשת לבקרת זרימה. היא מבצעת סדר פעולות מספר פעמים, לפי הקוד אותו היא משמשת.

תוכנית מחשב בנויה כך שהיא מטפלת בפריט מידע אחד או במצב אחד בכל פעם. כדי לחזור על התהליך עם פריט המידע הבא או המצב הבא, הוראה בתוכנית מסתעפת אחורנית וחוזרת ופונה להוראה הראשונה בסדרה. טכניקה זו רבת עוצמה מכיוון שהיא מאפשרת לחזור על פעולות אלפי ומיליוני פעמים בהקשרים שונים בכל פעם. דוגמה פשוטה וידועה לכך היא יצירת לוח הכפל באמצעות שתי לולאות אחת בתוך השנייה.

סוגי הלולאות הנפוצים:

• לולאה שמתבצעת מספר קבוע מראש של פעמים (למשל, לולאת for בפסקל או repeat ב-C Shell).
• לולאה שנבדקת בראשה על ידי ביטוי לוגי. רק אם התנאי מתקיים, נכנסים ללולאה בפעם הראשונה וממשיכים בחזרה כל עוד הוא אמת (למשל, לולאת while בפסקל).
• לולאה שנבדקת בתחתיתה. מבצעים את הלולאה בפעם הראשונה בכל מקרה ואחר כך בודקים את התנאי (למשל, לולאת repeat-until בפסקל ולולאת Do-While בג'אווה).
• לולאת אוסף, לולאה שעוברים בה על כל האובייקטים באוסף (מערך, רשימה וכו') ומבצעים את תוכן הלולאה עליהם (למשל foreach ב-#C או perl).

דוגמה לפונקציית PL/I הבודקת האם מספר נתון הוא מספר ראשוני, תוך ביצוע לולאה עד לשורש הריבועי של המספר הנבדק:

PRIMALITY: PROC (NUMBER) RETURNS (BIT (1)); /* בדיקת ראשוניות של מספר */
 DECLARE NUMBER FIXED (9); /* המספר הנבדק */
DECLARE F FIXED (9);
 DO F=2 TO SQRT (NUMBER); /* לולאה עד שורש המספר הנבדק */
  IF FIXED (NUMBER / F) * F = NUMBER 
   THEN RETURN ('0'B);    /* המספר אינו ראשוני */  
 END;
 RETURN ('1'B);    /* המספר ראשוני */  
END PRIMALITY;

לולאה ללא תנאי עצירה, או שתנאי העצירה שבה אינו מתקיים לעולם, נקראת לולאה אינסופית. לרוב היא עשויה להיווצר עקב באג, אך היא עשויה להיות גם כלי תכנותי: ישנם הקשרים, כגון עבודה של שרתים, בהם אין סיבה להפסיק את העבודה בסיום של לולאה, או בכלל: מתאר פעולתו של השרת במקרה זה הוא לולאה אינסופית של קבלת בקשות מהלקוח וטיפול בהן.

• מונחים בתוכנה
• לולאה מוזרה