I loop consentono di eseguire un gruppo di istruzioni ripetutamente. Alcuni loop ripetono le istruzioni finché una condizione non restituisce False. Altre, invece, ripetono le istruzioni finché una condizione non restituisce True. Esistono inoltre loop che ripetono le istruzioni il numero specificato di volte.
In BSL sono disponibili le seguenti istruzioni per i loop: